A Mathematical Introduction To Logic
Download A Mathematical Introduction To Logic PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get A Mathematical Introduction To Logic book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages.
An Introduction to Mathematical Logic
Author: Richard E. Hodel
language: en
Publisher: Courier Corporation
Release Date: 2013-01-01
This comprehensive overview ofmathematical logic is designedprimarily for advanced undergraduatesand graduate studentsof mathematics. The treatmentalso contains much of interest toadvanced students in computerscience and philosophy. Topics include propositional logic;first-order languages and logic; incompleteness, undecidability,and indefinability; recursive functions; computability;and Hilbert’s Tenth Problem.Reprint of the PWS Publishing Company, Boston, 1995edition.
Introduction to Logic
Author: Patrick Suppes
language: en
Publisher: Courier Corporation
Release Date: 1999-01-01
Part I of this coherent, well-organized text deals with formal principles of inference and definition. Part II explores elementary intuitive set theory, with separate chapters on sets, relations, and functions. Ideal for undergraduates.