VIAF

Virtual International Authority File

Search

Kreisel, Georg, 1923-2015 NUKAT Center of Warsaw University Library Sudoc [ABES], France National Library of France

Kreisel, Georg National Library of Poland National Library of the Netherlands Library of Congress/NACO

Georg Kreisel American mathematician ISNI

Kreisel, Georg 1923- German National Library

Georg Kreisel englisch-US-amerikanischer Logiker und Mathematiker 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 (11)

Open Section Close SectionWorks

Title Sources
Colloque international de logique : Clermont-Ferrand 18-25 juillet 1975 NUKAT Center of Warsaw University Library
Eléments de logique mathématique : théorie des modèles Sudoc [ABES], France National Library of the Netherlands NUKAT Center of Warsaw University Library Library of Congress/NACO
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 NUKAT Center of Warsaw University Library National Library of Poland
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 German National Library National Library of the Netherlands NUKAT Center of Warsaw University Library Library of Congress/NACO
On weak completeness of intuitionistic predicate logic NUKAT Center of Warsaw University 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 and Regions 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 (12)