An Introduction to Mathematical Logic and Type Theory: to Truth Through Proof - Applied Logic Series - Peter B. Andrews - Books - Springer - 9789048160792 - December 9, 2010
In case cover and title do not match, the title is correct

Peter B. Andrews
An Introduction to Mathematical Logic and Type Theory: to Truth Through Proof - Applied Logic Series 2nd Ed. 2002. Softcover Reprint of the Original 2n edition

Price
$ 93.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 30 - Jul 6

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Also available as:

An introduction to mathematical logic that starts with propositional calculus and first-order logic. It covers topics such as: syntax, semantics, soundness, completeness, independence, normal forms, vertical paths through negation normal formulas, compactness, Smullyan's Unifying Principle, natural deduction, cut-elimination, and, Skolemization.

414 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released December 9, 2010
ISBN13 9789048160792
Publishers Springer
Pages 414
Dimensions 156 × 234 × 21 mm   ·   576 g

Mere med samme udgiver

See all of Peter B. Andrews ( e.g. Hardcover Book and Paperback Book )