Kreisel, Georg.
VIAF ID: 15582257 (Personal)
Permalink: http://viaf.org/viaf/15582257
Preferred Forms
-
100 1 0 ‡a Kreisel, Georg
-
100 1 _ ‡a Kreisel, Georg.
-
100 1 _ ‡a Kreisel, Georg
-
100 1 _ ‡a Kreisel, Georg (undifferentiated)
4xx's: Alternate Name Forms (3)
Selected Titles
- Éléments de logique mathématique, théorie des modèles
(5)
- Modelltheorie ; eine Einführung in die mathematische Logik und Grundlagentheorie
(4)
- Formally self-referential propositions for cut free classical analysis and related systems
(4)
- Elements of mathematical logic. (Model theory)
(4)
- Issledovaniâ po teorii dokazatel'stv :
(2)
- Stanford lectures 1958/59
(1)
- Stanford lectures
(1)
- Proof theory
(1)
- Principles of constructive mathematics
(1)
- Notes concerning the elements of proof theory
(1)
