cam a22 2 4500 28281440X CHVBK 20201020195512.0 130818s1973 gw 00 eng 3-540-06119-3 (Berlin) 0-387-06119-3 (New York) (IDSBB)002844397 (NEBIS)000805544 (RERO)R274292060 SzZuIDS NEBIS ETH-MATH SzZuIDS BS/BE A110 kids s1ma rero 510/.8 s 511/.3 510.8 22 511.3 Luckhardt Horst Extensional Gödel functional interpretation a consistency proof of classical analysis Horst Luckhardt Berlin Springer 1973 161 S. Lecture notes in mathematics 306 306 (IDSBB)000106885 527132209 Analysis (DE-588)4001865-9 gnd Axiomatik (DE-588)4004038-0 gnd Mathematische Logik (DE-588)4037951-6 gnd Intuitionistic mathematics Proof theory u Beweistheorie idszbz Z9 rero ams 00.04 rero ams 02 Lecture notes in mathematics 306 BK020000 XK020000 XK020000 medea idsuzh U2 121 E01-20080101 123 E01-20080101 RERO RE01059 RE01059 RE010590001 IMATH F-8-306 RERO RE61011 RE61011 RE610110001 00 LEC 306 NEBIS E30 E30 E30BI 2AK 120: 306 NEBIS E64 E64 E64BI S 1.306 Ex.2 NEBIS E64 E64 E64BI S 1.306 NEBIS Z01 Z01 04 TS 264: 306 NEBIS UFBI UFBI ULMAT QA3.L28 no. 306 IDSBB A216 A216 MAG MAT 03B LU LUCKHA 6632 REKATA1100306 NEBIS E01 E01 MG P 712565: 306 NEBIS E02 E02 E02RB 03 LUC IDSBB 100 1- Luckhardt Horst IDSBB 490 0- Lecture notes in mathematics 306 306 (IDSBB)000106885 527132209 NEBIS 490 -- Lecture notes in mathematics 306 306 (NEBIS)000023275 527132209 NEBIS 700 1- Luckhardt Horst RERO 100 1- Luckhardt Horst (IDREF)082040621 cre RERO 490 1- Lecture notes in mathematics 306 RERO 830 -- Lecture notes in mathematics 306