debuts of the month
Search our site
Persons Unknown by Susie Steiner Read the opening extract of the brand new Susie Steiner book before its publication on 05/04/2018

An Introduction to Mathematical Logic and Type Theory To Truth Through Proof by Peter B. Andrews

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

Part of the Applied Logic Series Series


An Introduction to Mathematical Logic and Type Theory To Truth Through Proof by Peter B. Andrews

In case you are considering to adopt this book for courses with over 50 students, please contact for more information. This introduction to mathematical logic starts with propositional calculus and first-order logic. Topics covered include syntax, semantics, soundness, completeness, independence, normal forms, vertical paths through negation normal formulas, compactness, Smullyan's Unifying Principle, natural deduction, cut-elimination, semantic tableaux, Skolemization, Herbrand's Theorem, unification, duality, interpolation, and definability. The last three chapters of the book provide an introduction to type theory (higher-order logic). It is shown how various mathematical concepts can be formalized in this very expressive formal language. This expressive notation facilitates proofs of the classical incompleteness and undecidability theorems which are very elegant and easy to understand. The discussion of semantics makes clear the important distinction between standard and nonstandard models which is so important in understanding puzzling phenomena such as the incompleteness theorems and Skolem's Paradox about countable models of set theory. Some of the numerous exercises require giving formal proofs. A computer program called ETPS which is available from the web facilitates doing and checking such exercises. Audience: This volume will be of interest to mathematicians, computer scientists, and philosophers in universities, as well as to computer scientists in industry who wish to use higher-order logic for hardware and software specification and verification.

About the Author

Loading other formats...

Book Info

Publication date

1st July 2002


Peter B. Andrews

More books by Peter B. Andrews
Author 'Like for Like'


Springer-Verlag New York Inc.


390 pages


Mathematical logic



I love reading books I wouldn't normally choose before everyone else gets to read them!

Dawn Lynch

My horizons have been broadened by some of the books I have been lucky to review and I expect it to be no different in the future.

Daran Bellingham

Lovereading recommends, honestly reviews and promotes books-what more can I say?!

Rachel Bridgeman

I love that Lovereading handpicks very special debut reads.

Magda North

Lovereading are lovely people who send me lovely books. What's not to love?

Gavin Dimmock

At Lovereading there are fabulous books available in every genre, with great reviews to help you pick the right book for you.

Teresa O'Halloran

Lovereading is pitched at just the right level for all the various types of people who enjoy reading in its many forms.

Pam Woodburn

Thanks to Lovereading I have discovered new writers and read books I would never had looked twice at - and enjoyed them.

Angela Rhodes