An Introduction to Mathematical Logic and Type Theory
Peter B. Andrews
₹7,373
Introduction to Mathematical Logic and Type Theory
To Truth Through Proof
Academic Press Inc · 1986
₹3,438
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
About this book
Introduction to Mathematical Logic and Type Theory: To Truth Through Proof by Peter B. Andrews is a 304-page book published by Academic Press Inc in 1986. It belongs to the Computer science and applied mathematics series.
The book deals with Symbolic and mathematical Logic and Type theory.
About the author: P. B. Andrews (born 1937).
Book details
- ISBN-13
- 9780120585366
- ISBN-10
- 0120585367
- Author
- Peter B. Andrews
- Publisher
- Academic Press Inc
- Author dates
- P. B. Andrews (born 1937)
- Published
- 1986
- Series
- Computer science and applied mathematics
- Pages
- 304
- Language
- English
- Condition
- New
- Subject
- Textbooks & Study Guides
More by Peter B. Andrews and related titles
An Introduction to Mathematical Logic and Type Theory
Peter B. Andrews
₹3,494
The False Past
R. B. E. Price
₹7,606
Research Methods for Nursing and Healthcare
John Maltby, Julie Mcgarry, Liz Day, Glenn A. Williams
₹6,819
Recent Developments in the Philosophy of Science
Uskali Mäki, Stephanie Ruphy, Gerhard Schurz
₹7,728
The Dentists Quick Guide to Medical Conditions
Weinberg M. A.
₹3,645
Statistical Thinking
Russell Poldrack
₹12,847
Polypropylene-Based Biocomposites and Bionanocomposites
Visakh P. M., Matheus Poletto
₹10,925
Schiller, Hegel, and Marx
Philip Kain
₹3,218
Ewing Sarcoma
Florencia Cidre Aranaz, Thomas Gruenewald
₹13,107
Lsat Decoded (Preptests 72-76)
Princeton Review
₹3,465
Global Mapping of Infectious Diseases
S. I. Hay, Alastair Graham, Rogers, David J.
₹3,503