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 (Dover Books on to cart. $13.49, very good condition, Sold by HPB-Emerald rated 4.0 out of 5 stars, ships from Dallas, TX, UNITED STATES, published 1990 by Dover Publications.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Very good. Connecting readers with great books since 1972! Used books may not include companion materials, and may have some shelf wear or limited writing. We ship orders daily and Customer Service is our top priority!
Add this copy of First Order Mathematical Logic (Dover Books on to cart. $15.89, good condition, Sold by BooksRun rated 4.0 out of 5 stars, ships from Philadelphia, PA, UNITED STATES, published 1990 by Dover Publications.
Add this copy of First Order Mathematical Logic Format: Paperback to cart. $16.62, new condition, Sold by indoo rated 4.0 out of 5 stars, ships from Avenel, NJ, UNITED STATES, published 1990 by Dover Publications.
Add this copy of First Order Mathematical Logic (Dover Books on to cart. $38.68, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 1990 by Dover Publications.
Add this copy of First Order Mathematical Logic (Dover Books on to cart. $68.17, new condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 1990 by Dover Publications.
