Examples: Prince; Princeton University; Ken Follett; Follett,Ken
1shortlisttitle datasearch history  
results search [or] 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 (1959- ))
Krivine, J. L.
Krivine, Jean Louis
Krivine, Jean-Louis
Maslov, Sergej Ûr'evič
Minc, G. E. (1939- ))
Takeuti, Gaisi (1926- ))
Troelstra, A.S. (1939-)
Troelstra, Anne Sjerp (1939-)
Titles: 
Colloque international de logique : Clermont-Ferrand 18-25 juillet 1975
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
mathématiques leur philosophie, pédagogique et praxis, Les : séance du 14 mai 1975
Modelltheorie ; eine Einführung in die mathematische Logik und Grundlagentheorie
Principles of constructive mathematics
Proof theory
Stanford lectures 1958/59
Notes: 
Sources: 
VIAF LC NLP NTA NUKAT SUDOC WKP
TEL