Well-written undergraduate-level introduction begins with symbolic logic and set theory, followed by presentation of statement calculus and predicate calculus. Also covers first-order theories, completeness theorem, Godel's incompleteness theorem, much more. Exercises. Bibliography.
Read More
Well-written undergraduate-level introduction begins with symbolic logic and set theory, followed by presentation of statement calculus and predicate calculus. Also covers first-order theories, completeness theorem, Godel's incompleteness theorem, much more. Exercises. Bibliography.
Read Less
Add this copy of First Order Mathematical Logic Format: Paperback to cart. $16.90, new condition, Sold by indoo rated 5.0 out of 5 stars, ships from Avenel, NJ, UNITED STATES, published 1990 by Dover Publications.
Add this copy of First Order Mathematical Logic to cart. $40.33, new condition, Sold by Ergodebooks India rated 5.0 out of 5 stars, ships from MUMBAI, MH, INDIA, published 1990 by Dover Publications.
Add this copy of First Order Mathematical Logic (Dover Books on to cart. $35.55, new condition, Sold by Just one more Chapter rated 4.0 out of 5 stars, ships from Miramar, FL, UNITED STATES, published 1990 by Dover Publications.
Add this copy of First Order Mathematical Logic (Dover Books on to cart. $62.63, new condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 1990 by Dover Publications.
