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
Henkin, L.
Henkin, Leon
Henkin, Leon A.
Henkin, Leon Albert
Dates: 
1921-2006
Creation class: 
cre
Language material
Text
Creation role: 
author
contributor
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
Titles: 
axiomatic method 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., The
Completeness
Cylindric algebras...Leon Henkin,... J. Donald Monk,... Alfred Tarski,..
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
TEL