categories
- Traffic and Vehicles Catalogue
- socreal.catalog
- Advertisement Catalogue
- Photo Catalogue
- Chinese and Japanese Catalogue
- New Holy Card Catalogue II.
- 12 interesting old books
- Books
- Bibliophil
- Antiques
- Engraving
- Maps
- Photos
- Antique Papers, Small Prints
- Posters
- Circus
- Modern Graphics
- Socialist Realism
- NER Propaganda
- Others
cart
Cart is empty
You've not logged in
Curry, Haskell B. : Foundations of Mathematical Logic
- description
- additional information
Written by a pioneer of mathematical logic, this comprehensive graduate-level text explores the constructive theory of first-order predicate calculus. It covers formal methods, including algorithms and epitheory, and offers a brief treatment of Markov's approach to algorithms, explains elementary facts about lattices and similar algebraic systems, and more.
condition: | |
category: | Books > Foreign Language Books > Books in English > |
category: | Books > Natural Sciences > Mathematics, Physics, Astronomy > |
category: | Books > Philosophy > |
publisher: | Dover, (1977) |
item number / ISBN: | 9780486634623 |
binding: | paperback |
pages: | VIII, 408 |
language: | English |