cam a22 u 4500 282814086 CHVBK 20200930181433.0 130818s1985 sz | mm 00 |fre|d (NEBIS)000354199 (RERO)R004266359 (SNL)991007853859703976 (Sz)370950-41snl_51 (Sz)vtls000370950 (Sz)000370950 ETH-BIB ger ETH-BIB ETHICS-ISBD s1zz rero Savioz Christian Extensions décidables et indécidables de la théorie monadique du deuxième ordre de deux fonctions de successeur Christian Savioz Zürich 1985 62 p. 21 cm. Polycop. Diss. Math. ETH Zürich, Nr. 7898, 0000. Ref.: Läuchli, H. ; Korref.: Specker, E. Bibliogr. p. 60-62 1900326279 dea ps NB036-2000 nt ENTSCHEIDUNGSPROBLEME (MATHEMATISCHE LOGIK) ger (ETHUDK)000012524 ethudk Automatentheorie (DE-588)4003953-5 gnd Entscheidbarkeit (DE-588)4152398-2 gnd Fortführung (DE-588)4224605-2 gnd Nachfolgerfunktion (DE-588)4209249-8 gnd Hochschulschrift gnd-content u ENTSCHEIDUNGSPROBLEME (MATHEMATISCHE LOGIK) ger 510.665 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 Läuchli Hans 1933- (DE-588)1089100078 Akademischer Betreuer dgs Specker Ernst 1920-2011 (DE-588)118927124 Akademischer Betreuer dgs BK020300 XK020000 XK020000 ETH nebis E2 121 E01-20080101 SNL NB001 NB001 Hb 13685 NB10010 RERO RE11001 RE11001 RE110010037 BCV PA 26369 NEBIS E64 E64 E64BI Y 6.SAV1 NEBIS Z01 Z01 05 UnS 1985: 1718 NEBIS E16 E16 RH DISS ETH 7898 EX.A NEBIS E16 E16 RH DISS ETH 7898 NEBIS 100 1- Savioz Christian NEBIS 700 1- Läuchli Hans 1933- (DE-588)1089100078 Akademischer Betreuer dgs NEBIS 700 1- Specker Ernst 1920-2011 (DE-588)118927124 Akademischer Betreuer dgs RERO 100 1- Savioz Christian (RERO)A012851517 cre SNL 100 1- Savioz Christian