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
Maslov, Sergej Ûr'evič
Minc, G. E. (1939- ))
Takeuti, Gaisi (1926- ))
Troelstra, A.S. (1939-)
Troelstra, Anne Sjerp (1939-)
Titles: 
Éléments de logique mathématique : théorie des modèles
Formally self-referential propositions for cut free classical analysis and related systems
Notes: 
Sources: 
VIAF LC NLP NTA NUKAT SUDOC WKP
TEL