Examples: Prince; Princeton University; Ken Follett; Follett,Ken
1shortlisttitle datasearch history  
results search [or] ISN:0000000109176297 | 1 hits
Person
ISNI: 
0000 0001 0917 6297
Name: 
Henkin, L.
Henkin, Leon
Henkin, Leon A.
Henkin, Leon Albert
Dates: 
1921-2006
Creation class: 
Language material
Text
Creation role: 
author
redactor
Related names: 
Addison, J.W.
Andréka, Hajnalka
International Symposium on the Theory of Models (1963 ; Berkeley)
International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science
Monk, J. Donald (1930- ))
Monk, J.D. (1930-)
Monk, James Donald
Monk, James Donald (1930-)
Németi, István
Suppes, Patrick
Tarski, Alfred (1902-1983)
Titles: 
axiomatic method, The : with special reference to geometry and physics : proceedings of an International Symposium held at the University of California, Berkeley, December 26, 1957 - January 4, 1958
Completeness
Cylindric algebras
Logic, methodology and philosophy of science IV proceedings of the fourth International congress for logic, methodology and philosophy of science, Bucharest, 1971
Logical systems containing only a finite number of symbols
Mathematics : report of the Project 2061 Phase I Mathematics Panel
Notices of the AMS, v. 54, no. 4:
O matematičeskoj indukcii
On mathematical induction
Proceedings of the Tarski symposium : an international symposium held to honor Alfred Tarski on the occasion of his seventieth birthday
Retracing elementary mathematics
structure algébrique des théories mathématiques, La
theory of models, The
Truth and provability
voice of America, The : forum lectures.
With an introductory chapter: General theory of algebras
Notes: 
Sources: 
VIAF LC NLI NLP NTA NUKAT SUDOC WKP