Examples: Prince; Princeton University; Ken Follett; Follett,Ken
1shortlisttitle datasearch history  
results search [or] (ISNI Number (ISN:)) 0000000110411127 | 1 hits
Person
ISNI: 
0000 0001 1041 1127
Name: 
Krajzel', G.
Kreisel, G.
Kreisel, Georg
Dates: 
1923-...
Creation class: 
cre
Language material
Text
Creation role: 
author
contributor
redactor
Related names: 
Colloque international de logique (1975 ; Clermont-Ferrand)
Gastev, Ûrij Alekseevič (1928- ))
Jung, Joachim
Krivine, J. L.
Krivine, Jean Louis
Krivine, Jean-Louis
Maslov, Sergej Ûr'evič
Minc, G. E. (1939- ))
Takeuti, Gaisi (1926- ))
Titles: 
Algebraic proof theory
Colloque international de logique : Clermont-Ferrand 18-25 juillet 1975
Constructive mathematics
Éléments de logique mathématique, théorie des modèles
Elements of mathematical logic. (Model theory)
Formal systems complete for Gödel's functional intepretation
Formal systems for some branches of intuitionistic analysis
Formally self-referential propositions for cut free classical analysis and related systems
Indo-Javanese metalwork
Issledovaniâ po teorii dokazatel'stv : sbornik statej
Kreiseliana : about and around Georg Kreisel
Kurt Gödel, 28 April 1906-14 January 1978 : elected For. Mem. R. S. 1968
Modelltheorie ; eine Einführung in die mathematische Logik und Grundlagentheorie
Notes concerning the elements of proof theory
Principles of constructive mathematics
Proof theory
Stanford lectures 1958/59
Notes: 
Sources: 
VIAF LC NLP NTA NUKAT SUDOC WKP
TEL