An Introduction to Mathematical Logic and Type Theory
Peter B. Andrews
₹7,373
An Introduction to Mathematical Logic and Type Theory
To Truth Through Proof
Academic Press Inc · 1986
₹3,494
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
Published by Academic Press Inc in 1986, An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof by Peter B. Andrews runs to 304 pages. The book is part of the Computer science and applied mathematics series.
Its main subjects are Symbolic and mathematical Logic and Type theory.
About the author: P. B. Andrews (born 1937).
Book details
- ISBN-13
- 9780120585359
- ISBN-10
- 0120585359
- 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
Introduction to Mathematical Logic and Type Theory
Peter B. Andrews
₹3,438
Essential Medical Genetics
Edward S. Tobias, Malcolm Ferguson-Smith, Michael Connor
₹4,367
A Survey of Fractal Dimensions of Networks
Eric Rosenberg
₹3,808
Philosophy of Medicine
R. Paul Thompson, Ross E.G Upshur
₹3,622
Purification Prescription
Sheldon Saul Hendler
₹3,477
Clinical Ethics
Mark Siegler, William J. Winslade, Albert R. Jonsen
₹3,539
Endovascular Treatment of Intracranial Aneurysms
Guido Guglielmi, James Byrne
₹10,109
The Social Authority of Reason
Philip J. Rossi SJ
₹4,267
Ischemic Stroke of Brain
₹13,623
On the Genealogy of Morality
Maudemarie Clark, Friedrich Wilhelm Nietzsche, Alan J. Swensen
₹5,832
Abnormal Psychology in Context
David N. Sattler, Virginia Shabatay, Geoffrey P. Kramer
₹2,647