First Order Mathematical Logic (Margaris Angelo)(Paperback)
EAN: 9780486662695
"Attractive and well-written introduction." -- Journal of Symbolic Logic
The logic that mathematicians use to prove their theorems is itself a part of mathematics, in the same way that algebra, analysis, and geometry are parts of mathematics. This attractive and well-written introduction to mathematical logic is aimed primarily at undergraduates with some background in college-level mathematics; however, little or no acquaintance with abstract mathematics is needed.
Divided into three chapters, the book begins with a brief encounter of na ve set theory and logic for the beginner, and proceeds to set forth in elementary and intuitive form the themes developed formally and in detail later. In Chapter Two, the predicate calculus is developed as a formal axiomatic theory. The statement calculus, presented as a part of the predicate calculus, is treated in detail from the
The logic that mathematicians use to prove their theorems is itself a part of mathematics, in the same way that algebra, analysis, and geometry are parts of mathematics. This attractive and well-written introduction to mathematical logic is aimed primarily at undergraduates with some background in college-level mathematics; however, little or no acquaintance with abstract mathematics is needed.
Divided into three chapters, the book begins with a brief encounter of na ve set theory and logic for the beginner, and proceeds to set forth in elementary and intuitive form the themes developed formally and in detail later. In Chapter Two, the predicate calculus is developed as a formal axiomatic theory. The statement calculus, presented as a part of the predicate calculus, is treated in detail from the
Cena 311 Kč v 1 obchodě
Obchody, které prodávají First Order Mathematical Logic (Margaris Angelo)(Paperback)
Zobrazit historii ceny First Order Mathematical Logic (Margaris Angelo)(Paperback)
Historie nejnižsí ceny First Order Mathematical Logic (Margaris Angelo)(Paperback). Porovnání obchodů, které prodávají First Order Mathematical Logic (Margaris Angelo)(Paperback).