An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof /

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

Main Author:	Andrews, Peter B.
Corporate Author:	SpringerLink (Online service)
Format:	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. Electronic books.
Online Access:	Connect to the full text of this electronic book