Henkin, Leon.
Henkin, Leon, 1921-2006
Leon Henkin American mathematician
Henkin, Leon 1921-....
VIAF ID: 76438407 ( Personal )
Permalink: http://viaf.org/viaf/76438407
Preferred Forms
- 200 _ | ‡a Henkin ‡b Leon ‡f 1921-....
-
-
- 100 1 _ ‡a Henkin, Leon
-
-
-
- 100 1 _ ‡a Henkin, Leon
-
- 100 1 _ ‡a Henkin, Leon ‡d 1921-2006
- 100 1 _ ‡a Henkin, Leon ‡d 1921-2006
-
- 100 1 _ ‡a Henkin, Leon, ‡d 1921-2006
-
-
- 100 0 _ ‡a Leon Henkin ‡c American mathematician
4xx's: Alternate Name Forms (34)
5xx's: Related Names (2)
Works
Title | Sources |
---|---|
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 | |
Basic research in the foundations of mathematics : research project supported by the National Science Foundation Grants G6693, G14006, G19673, and GP-1395 : report for the period July 1, 1961-June 30, 1964 | |
Completeness | |
Cylindric algebras...Leon Henkin,... J. Donald Monk,... Alfred Tarski,.. | |
Cylindric set algebras and realated structures | |
The life and work of Leon Henkin : essays on his contributions | |
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. | |
O matematičeskoj indukcii | |
Mathematics : report of the Project 2061 Phase I Mathematics Panel | |
Notices of the AMS, v. 54, no. 4: | |
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 | |
La structure algébrique des théories mathématiques. | |
The theory of models | |
Truth and provability | |
The voice of America : forum lectures. | |
With an introductory chapter: General theory of algebras | |
О математической индукции |