Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-8 of 8 results for author "Henkin, Leon."
Cylindric algebras. [By] Leon Henkin, J. Donald Monk [and] Alfred Tarski.
- Text
- Amsterdam, North-Holland Pub. Co., 1971-
- 1971-present
- 2 Items
Item details Format Call Number Item Location Text JSK 75-130 Part 1. Offsite Item details Format Call Number Item Location Text JSK 75-130 Part 1. v. 10 Offsite Retracing elementary mathematics [by] Leon Henkin [and others]
- Text
- New York, Macmillan [1962]
- 1962
- 1 Item
Item details Format Call Number Item Location Text OEF (Henkin, L. Retracing elementary mathematics) Offsite La structure algébrique des théories mathématiques.
- Text
- Paris, Gauthier-Villars, 1956.
- 1956
- 1 Item
Item details Format Call Number Item Location Text VBA p.v. 2117 no. 1-8 Schwarzman Building - General Research Room 315 Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person.
Retracing elementary mathematics [by] Leon Henkin [and others]
- Text
- New York, Macmillan [1962]
- 1962
- 1 Item
Item details Format Call Number Item Location Text 8106.451 Off-site La structure algébrique des théories mathématiques.
- Text
- Paris, Gauthier-Villars, 1956.
- 1956
- 1 Item
Item details Format Call Number Item Location Text 8126.451 Off-site The completeness of formal systems / by Leon Henkin.
- Text
- [195-?]
- 19
- 1 Item
Item details Format Call Number Item Location Text 8126.451 Off-site Retracing elementary mathematics [by] Leon Henkin [and others].
- Text
- New York, Macmillan [1962]
- 1962
- 1 Item
Item details Format Call Number Item Location Text 8106.451 Off-site The completeness of formal systems / by Leon Henkin.
- Text
- [195-?]
- 19
No results found from Digital Research Books Beta
Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.
Explore Digital Research Books Beta