cam a22 u 4500 260786705 CHVBK 20201020191709.0 130816s1981 gw | 00 |eng|d 3-540-11170-0 0-387-11170-0 (NEBIS)000244407 (RERO)R260454360 ETH-BIB ger ETH-BIB ETHICS-ISBD s1ma rero 510 s 511 19 510.8 22 511 511.3 Buchholz Wilfried Iterated inductive definitions and subsystems of analysis recent proof-theoretical studies Wilfried Buchholz, Solomon Feferman, Wolfram Pohlers, Wilfried Sieg Berlin Springer 1981 V, 383 p. ill. 25 cm Lecture notes in mathematics 897 897 (NEBIS)000023275 527132209 Beweistheorie (DE-588)4145177-6 gnd Induktive Definition (DE-588)4161591-8 gnd Induction (Mathematics) Logic, Symbolic and mathematical Mathematical analysis Mathematical analysis Foundations Mathematics Proof theory ANALYSIS (MATHEMATIK) ger (ETHUDK)000013159 ethudk SCHLUSSVERFAHREN + BEWEISTHEORIE (MATHEMATISCHE LOGIK) ger (ETHUDK)000012523 ethudk u Beweistheorie idszbz Z9 u SCHLUSSVERFAHREN + BEWEISTHEORIE (MATHEMATISCHE LOGIK) ger 510.662 nebis E1 u ANALYSIS (MATHEMATIK) ger 517 nebis E1 u INFERENCE SEARCH + PROOF THEORY (MATHEMATICAL LOGIC) eng 510.662 nebis E1 u RECHERCHE D'INFÉRENCE + THÉORIE DE LA PREUVE (LOGIQUE MATHÉMATIQUE) fre 510.662 nebis E1 u ANALYSE (MATHÉMATIQUES) fre 517 nebis E1 u ANALYSIS (MATHEMATICS) eng 517 nebis E1 rero ams 00.04 rero ams 02 Feferman Solomon 1928- (DE-588)128682167 Pohlers Wolfram 1943- (DE-588)1089378688 Sieg Wilfried Lecture notes in mathematics 897 BK020000 XK020000 XK020000 medea idsuzh U2 121 E01-20080101 123 E01-20080101 RERO RE01059 RE01059 RE010590001 IMATH F-8-897 RERO RE61011 RE61011 RE610110001 00.04/3 897 NEBIS E30 E30 E30BI 2AK 120: 897 NEBIS E30 E30 E30BI EDA 260 NEBIS E30 E30 E30BI EDA 260: EX.2 NEBIS E64 E64 E64BI S 1.897 NEBIS Z01 Z01 04 TS 264: 897 NEBIS UFBI UFBI ULMAT QA3.L28 no. 897 NEBIS E01 E01 MG P 712565: 897 NEBIS E02 E02 E02RB 03 ITE NEBIS 100 1- Buchholz Wilfried NEBIS 490 -- Lecture notes in mathematics 897 897 (NEBIS)000023275 527132209 NEBIS 700 1- Feferman Solomon 1928- (DE-588)128682167 NEBIS 700 1- Pohlers Wolfram 1943- (DE-588)1089378688 NEBIS 700 1- Sieg Wilfried RERO 490 1- Lecture notes in mathematics 897 RERO 700 1- Buchholz Wilfried (IDREF)137060300 RERO 830 -- Lecture notes in mathematics 897