An Introduction to Mathematical Logic and Type Theory
Peter B. Andrews
₹3,494
An Introduction to Mathematical Logic and Type Theory
To Truth Through Proof: 27
Springer Nature · 2010
₹7,373
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
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof: 27 by Peter B. Andrews is a 408-page book published by Springer Nature in 2010.
Its main subjects are Mathematics, Symbolic and mathematical Logic, Computational linguistics and Logic.
Book details
- ISBN-13
- 9789048160792
- ISBN-10
- 9048160790
- Author
- Peter B. Andrews
- Publisher
- Springer Nature
- Published
- 2010
- Edition
- 2
- Pages
- 408
- Language
- English
- Condition
- New
- Subject
- Computational linguistics
More by Peter B. Andrews and related titles
Introduction to Mathematical Logic and Type Theory
Peter B. Andrews
₹3,438
Predicting Prosody from Text for Text-To-Speech Synthesis
K. Sreenivasa Rao
₹2,785
Robust Speech Recognition of Uncertain or Missing Data
Dorothea Kolossa
₹7,758
A Journey Through Cultures
Carla Faria Leitão, Clarisse Sieckenius de Souza, Luciana Cardoso de Castro Salgado
₹7,593
A Journey Through Cultures
Luciana Cardoso de Castro Salgado, Carla Faria Leitão, Clarisse Sieckenius de Souza
₹2,693
Triangulating Methodological Approaches in Corpus Linguistic Research
Paul Baker, Jesse Egbert
₹13,978
The Language of Mathematics
Mohan Ganesalingam
₹5,465
Konvens 92
Günther Görz
₹3,508
Dialogue Games
L. Carlson
₹6,889
The Childes Project
Brian MacWhinney
₹4,729
Corpus Linguistics
Susan Conrad, Douglas Biber, Randi Reppen
₹3,766