cam a22 u 4500 277812836 CHVBK 20201020194528.0 130818s1970 gw | 00 |eng|d 70111900 (NEBIS)000647978 (IDSBB)000581161 (RERO)R003079631 ETH-BIB ger ETH-BIB ETHICS-ISBD s1ma rero 511/.65 511.3 510 23 Siefkes Dirk Büchi's monadic second order successor arithmetic Dirk Siefkes; ed. by Gert H. Müller Berlin [etc.] Springer-Verlag 1970 XII, 130 S. 26 cm Lecture notes in mathematics 120. Series: Mathematisches Institut der Universität Heidelberg 120 (NEBIS)000023275 527132209 Decidable theories 1 1 (NEBIS)000647975 132454246 Berechenbarkeit (DE-588)4138368-0 gnd Nachfolgerfunktion (DE-588)4209249-8 gnd Mathematics Predicate calculus Sequential machine theory ENTSCHEIDUNGSPROBLEME (MATHEMATISCHE LOGIK) ger (ETHUDK)000012524 ethudk PRÄDIKATENLOGIK (MATHEMATISCHE LOGIK) ger (ETHUDK)000012508 ethudk u Mathematische Logik / Einzelne Fragen / 1950- ersch idszbz Z9 u ENTSCHEIDUNGSPROBLEME (MATHEMATISCHE LOGIK) ger 510.665 nebis E1 u PRÄDIKATENLOGIK (MATHEMATISCHE LOGIK) ger 510.635 nebis E1 u DECISION PROBLEMS (MATHEMATICAL LOGIC) eng 510.665 nebis E1 u PROBLÈMES DE DÉCISION (LOGIQUE MATHÉMATIQUE) fre 510.665 nebis E1 u PREDICATE LOGIC (MATHEMATICAL LOGIC) eng 510.635 nebis E1 u LOGIQUE DES PRÉDICATS (LOGIQUE MATHÉMATIQUE) fre 510.635 nebis E1 rero ams 02 rero ams 00.04 Müller Gert H. (DE-588)108393518 Lecture notes in mathematics 120 BK020000 XK020000 XK020000 121 E01-20080101 mt SzZuIDS BS/BE RERO RE01059 RE01059 RE010590001 IMATH F-8-120 RERO RE61011 RE61011 RE610110001 00 LEC 120 NEBIS E30 E30 E30BI 2AK 120: 120 NEBIS E64 E64 E64BI S 1.120 Ex.2 Exp.2 NEBIS E64 E64 E64BI S 1.120 NEBIS Z01 Z01 04 TS 264: 120 IDSBB A216 A216 MAG MAT 03B SI SIEFKE 6118 REKATA1100306 NEBIS E01 E01 MG P 712565: 120 NEBIS E02 E02 E02RB 03 SIE IDSBB A100 A100 100ZM UBH Nat Zs 1958:120 Akz: ba/uub-/u NEBIS 100 1- Siefkes Dirk NEBIS 490 -- Lecture notes in mathematics 120. Series: Mathematisches Institut der Universität Heidelberg 120 (NEBIS)000023275 527132209 NEBIS 490 -- Decidable theories 1 1 (NEBIS)000647975 132454246 NEBIS 700 1- Müller Gert H. (DE-588)108393518 IDSBB 100 1- Siefkes Dirk IDSBB 490 0- Lecture notes in mathematics 120 120 (IDSBB)000106885 527132209 RERO 100 1- Siefkes Dirk (IDREF)03184068X cre RERO 490 1- Lecture notes in mathematics Decidable theories 120 1 RERO 830 -- Lecture notes in mathematics 120