VIAF

Virtual International Authority File

Search

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

Kreisel, Georg 1923-... German National Library ISNI

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
Elements of Mathematical Logic : Model Theory National Library of the Netherlands Library of Congress/NACO Sudoc [ABES], France NUKAT Center of Warsaw University Library xR Extended Titles
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 NUKAT Center of Warsaw University Library National Library of the Netherlands 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 NUKAT Center of Warsaw University Library National Library of the Netherlands 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 (25)