First Order Mathematical Logic
First Order Mathematical Logic is backordered and will ship as soon as it is back in stock.
Couldn't load pickup availability
Genuine Products Guarantee
Genuine Products Guarantee
We guarantee 100% genuine products, and if proven otherwise, we will compensate you with 10 times the product's cost.
Delivery and Shipping
Delivery and Shipping
Products are generally ready for dispatch within 1 day and typically reach you in 3 to 5 days.
First Order Mathematical Logic
Book Details
-
Publisher: Dover
-
Author: Angelo Margaris
-
Edition: Reprint
-
ISBN: 9780486662695
-
Pages: 212
-
Binding: Paperback
-
Dimensions: 8.5 x 5.5 x 0.6 inches
-
Languages: English
-
Release Date: 01-03-1990
About The Book
Introduction to Mathematical Logic by Angelo Margaris is an accessible and well-organized undergraduate-level textbook that provides a thorough introduction to key topics in mathematical logic. The book starts with foundational concepts such as symbolic logic and set theory, which form the bedrock for more advanced topics.
It then delves into statement calculus and predicate calculus, essential areas for understanding logical arguments and proofs. Margaris offers a detailed discussion of first-order theories, particularly emphasizing their application in number theory. Following this, the book presents a study of truth and models, and culminates with a proof of the completeness theorem.
Renowned for its clarity and pedagogical approach, the text includes a range of exercises to reinforce understanding, along with a comprehensive bibliography for further exploration. Introduction to Mathematical Logic is an excellent resource for students of mathematics and anyone interested in the logical foundations of mathematical theory.
