Examples: Prince; Princeton University; Ken Follett; Follett,Ken
1shortlisttitle datasearch history  
results search [or] (ISNI Number (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 : an international symposium held to honor Alfred Tarski on the occasion of his seventieth birthday
Cylindric algebras...Leon Henkin,... J. Donald Monk,... Alfred Tarski,..
Cylindric algebras. P. 1
Cylindric set algebras, 1981:
Cylindric set algebras and related structures
General theory of algebras
Logical systems containing only a finite number of symbols : notes du cours donné à la 5e session du Séminaire de mathématiques supérieures de l'Université de Montréal, tenue l'été 1966
Mathematics : report of the Project 2061 Phase I Mathematics Panel
Notices of the AMS, v. 54, no. 4:
On cylindric-relativized set algebras
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, 1956., La
theory of models, The : proceedings of the 1963 International Symposium at Berkeley
Theory of models, The : proceedings of the International symposium [on the theory of models], Berkeley, 1963
Truth and provability
voice of America, The : forum lectures.
With an introductory chapter: General theory of algebras
Notes: 
Sources: 
VIAF BNF LC NLI NLP NTA NUKAT SUDOC WKP