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
Lohuizen-de Leeuw, J.E. van (1919-1983)
Lohuizen-de Leeuw, Johanna Engelberta (1919-1983)
Maslov, Sergej Ûr'evič
Minc, G. E. (1939- ))
Takeuti, Gaisi (1926-)
Troelstra, A.S. (1939-)
Troelstra, Anne Sjerp (1939-)
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
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