VIAF

Virtual International Authority File

Search

Kreisel, Georg. National Library of Poland Library of Congress/NACO German National Library National Library of the Netherlands-test NUKAT Center of Warsaw University Library Wikipedia (en)

Kreisel, Georg, 1923-.... Sudoc [ABES], France ISNI-test German National Library

VIAF ID: 15582257 (Personal)

Permalink: http://viaf.org/viaf/15582257

ISNI-test: 0000  0001  1041  1127 

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close Section 4xx's: Alternate Name Forms (6)

Open Section Close SectionWorks

Title Sources
Colloque international de logique : Clermont-Ferrand 18-25 juillet 1975 NUKAT Center of Warsaw University Library
Elements of Mathematical Logic : Model Theory National Library of the Netherlands-test Library of Congress/NACO Sudoc [ABES], France NUKAT Center of Warsaw University Library xR Extended Titles-test
Formal systems complete for Gödel's functional intepretation National Library of the Netherlands-test
Formal systems for some branches of intuitionistic analysis National Library of the Netherlands-test
Formally self-referential propositions for cut free classical analysis and related systems NUKAT Center of Warsaw University Library National Library of Poland National Library of the Netherlands-test
Indo-Javanese metalwork National Library of the Netherlands-test
Issledovaniâ po teorii dokazatel'stv : sbornik statej NUKAT Center of Warsaw University Library
Kreiseliana : about and around Georg Kreisel / ed. by Piergiorgio Odifreddi, 1996 Sudoc [ABES], France
Kurt Gödel, 28 April 1906-14 January 1978 : elected For. Mem. R. S. 1968 NUKAT Center of Warsaw University Library
Les mathématiques leur philosophie, pédagogique et praxis : séance du 14 mai 1975 Sudoc [ABES], France
Modelltheorie ; eine Einführung in die mathematische Logik und Grundlagentheorie NUKAT Center of Warsaw University Library National Library of the Netherlands-test Library of Congress/NACO German National Library
Principles of constructive mathematics National Library of the Netherlands-test
Proof theory National Library of the Netherlands-test
Stanford lectures 1958/59 National Library of the Netherlands-test

Open Section Close Section Selected Co-authors

Open Section Close Section Countries of Publication (7)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (10)

Open Section Close Section About

Open Section Close Section History of VIAF ID:15582257 (23)