VIAF

Virtual International Authority File

Search

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

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

Georg Kreisel American mathematician Wikidata

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 (9)

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 Library of Congress/NACO Sudoc [ABES], France National Library of the Netherlands-test xR Extended Titles-test NUKAT Center of Warsaw University Library
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 National Library of the Netherlands-test National Library of Poland NUKAT Center of Warsaw University Library
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 National Library of the Netherlands-test NUKAT Center of Warsaw University Library 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 History of VIAF ID:15582257 (25)