An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof [electronic resource] / by Peter B. Andrews.

In case you are considering to adopt this book for courses with over 50 students, please contact ties.nijssen@springer.com for more information. This introduction to mathematical logic starts with propositional calculus and first-order logic. Topics covered include syntax, semantics, soundness, comp...

Full description

Bibliographic Details

Online Access:	Full Text (via Springer)
Main Author:	Andrews, Peter B.
Format:	Electronic eBook
Language:	English
Published:	Dordrecht : Springer Netherlands, 2002.
Edition:	Second edition.
Series:	Applied logic series ; 27.
Subjects:	Mathematics. Logic. Electronic data processing. Artificial intelligence. Logic, Symbolic and mathematical. Computational linguistics.