VIAF

Virtual International Authority File

Search

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

Kreisel, Georg 1923-.... National Library of France German National Library

Kreisel, Georg, 1923-2015 Sudoc [ABES], France

Georg Kreisel American mathematician Wikidata

VIAF ID: 15582257 (Personal)

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

ISNI: 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
Éléments de logique mathématique, théorie des modèles Library of Congress/NACO Sudoc [ABES], France NUKAT Center of Warsaw University Library National Library of the Netherlands
Formal systems complete for Gödel's functional intepretation National Library of the Netherlands
Formal systems for some branches of intuitionistic analysis National Library of the Netherlands
Formally self-referential propositions for cut free classical analysis and related systems National Library of the Netherlands National Library of Poland NUKAT Center of Warsaw University Library
Indo-Javanese metalwork National Library of the Netherlands
Issledovaniâ po teorii dokazatel'stv : sbornik statej NUKAT Center of Warsaw University Library
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 NUKAT Center of Warsaw University Library Library of Congress/NACO German National Library
Principles of constructive mathematics National Library of the Netherlands
Proof theory National Library of the Netherlands
Stanford lectures 1958/59 National Library of the Netherlands

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