An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof - Applied Logic Series - Peter B. Andrews - Books - Springer-Verlag New York Inc. - 9781402007637 - July 31, 2002
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 edition

Price
$ 133.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 is 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.

408 pages, biography

Media Books     Hardcover Book   (Book with hard spine and cover)
Released July 31, 2002
ISBN13 9781402007637
Publishers Springer-Verlag New York Inc.
Pages 390
Dimensions 160 × 242 × 28 mm   ·   721 g
Language English  

Mere med samme udgiver

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