Opening book details…
Can I read Foundations of Mathematical Logic (Dover Books on Mathematics) on EtoBox?
Foundations of Mathematical Logic (Dover Books on Mathematics) by Haskell Brooks Curry is a nonfiction available to read on EtoBox.
What is Foundations of Mathematical Logic (Dover Books on Mathematics) about?
Comprehensive account of constructive theory of first-order predicate calculus. Covers formal methods including algorithms and epi-theory, brief treatment of Markov’s approach to algorithms, elementary facts about lattices and similar algebraic systems, more. Philosophical and reflective as well as mathematical. Graduate-level course. 1963 ed. Exercises.<br
Who reads Foundations of Mathematical Logic (Dover Books on Mathematics)?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Haskell Brooks Curry
- Publisher
- Dover Publications [etc.] : Constable
- Published
- 1977
- Language
- EN
- ISBN
- 9780486634623
- Category
- nonfiction
- Subjects
- Mathematics, Stem
- Updated
- 2026-03-24
Other editions & translations
More by Haskell Brooks Curry
Browse all works by Haskell Brooks Curry
Similar books
- What is Mathematical Logic? (Dover Books on Mathematics) — C. J. Ash, J. N. Crossley, C. J. Brickhill, J. C. Stillwell, N. H. Williams (1990)
- First Order Mathematical Logic (Dover Books on Mathematics) — Angelo Margaris (1990)
- Mathematical Logic (Dover Books on Mathematics) — Stephen Cole Kleene (2002)
- Logic for Mathematicians (Dover Books on Mathematics) — J Barkley Rosser Jr. / Mathematics (2009)
- Logic in Elementary Mathematics (Dover Books on Mathematics) — Robert M. Exner and Myron F. Rosskopf (2011)
- Popular Lectures on Mathematical Logic (Dover Books on Mathematics) — Hao Wang (1993)
