cam a22 u 4500 128729651 CHVBK 20200921121811.0 880212s1981 gw | 10 |eng|d 3-540-11161-1 0-387-11161-1 (OCoLC)888824717 (NEBIS)000242209 ETH-BIB ger ETH-BIB ETHICS-ISBD 510 s 511.3 19 511.3 510 Logic symposia Hakone 1979, 1980 proceedings of conferences, Hakone, March 21-24, 1979 & February 4-7, 1980 : (also: Symposia on the foundations of mathematics) ed. by G.H. Müller, Gaisi Takeuti, Tosiyuki Tugué Berlin Springer 1981 XI, 394 p. Lecture notes in mathematics 891 891 (NEBIS)000023275 527132209 Grundlage (DE-588)4158388-7 gnd Kongress (DE-588)4130470-6 gnd Logik (DE-588)4036202-4 gnd Mathematik (DE-588)4037944-9 gnd Mathematische Logik (DE-588)4037951-6 gnd Logic, Symbolic and mathematical Logic, Symbolic and mathematical Congresses Logic, Symbolic and mathematical Congresses Mathematics MATHEMATISCHE LOGIK ger (ETHUDK)000012502 ethudk Konferenzschrift Tokyo 1979 1980 gnd-content u Mathematische Logik / Kongresse, Konferenzen, Symposien idszbz Z9 u MATHEMATISCHE LOGIK ger 510.6 nebis E1 u MATHEMATICAL LOGIC eng 510.6 nebis E1 u LOGIQUE MATHÉMATIQUE fre 510.6 nebis E1 Müller Gert H. (DE-588)108393518 Takeuti Gaisi Tugué Tosiyuki BK020800 XK020000 XK020000 medea idsuzh U2 121 E01-20080101 Kongress = Congrès 1979 1980 Tokyo NEBIS E30 E30 E30BI 2AK 120: 891 NEBIS E64 E64 E64BI S 1.891 NEBIS Z01 Z01 04 TS 264: 891 NEBIS UFBI UFBI ULMAT QA3.L28 no. 891 NEBIS E01 E01 MG P 712565: 891 NEBIS E02 E02 E02RB 03 LOG NEBIS 490 -- Lecture notes in mathematics 891 891 (NEBIS)000023275 527132209 NEBIS 700 1- Müller Gert H. (DE-588)108393518 NEBIS 700 1- Takeuti Gaisi NEBIS 700 1- Tugué Tosiyuki SWISSBIB 128729651 ORANGE 128729651