VIAF

Virtual International Authority File

Search

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

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

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 / G. Kreisel and G. Takeuti. - Warszawa, 1974. 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
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)