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