Comprehensive graduate-level account of constructive theory of first-order predicate calculus covers formal methods: algorithms and epitheory, brief treatment of Markov's approach to algorithms, elementary facts about lattices, logical connectives, and more. 1963 edition.
Read More
Comprehensive graduate-level account of constructive theory of first-order predicate calculus covers formal methods: algorithms and epitheory, brief treatment of Markov's approach to algorithms, elementary facts about lattices, logical connectives, and more. 1963 edition.
Read Less
Add this copy of Foundations of Mathematical Logic (Dover Books on to cart. $93.88, new condition, Sold by GridFreed rated 5.0 out of 5 stars, ships from North Las Vegas, NV, UNITED STATES, published 2010 by Dover Publications.
Add this copy of Foundations of Mathematical Logic Format: Paperback to cart. $25.12, new condition, Sold by indoo rated 4.0 out of 5 stars, ships from Avenel, NJ, UNITED STATES, published 2010 by Dover Publications.
Add this copy of Foundations of Mathematical Logic (Dover Books on to cart. $76.53, new condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 2010 by Dover Publications.
