Proof and Disproof in Formal Logic
Richard Bornat
₹11,955
Proof and Disproof in Formal Logic
An Introduction for Programmers: 2
Oxford Univ Pr on Demand · 2005
₹5,341
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–5 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns.
- Express shipping. Same-day dispatch (Monday to Saturday), delivered all over India in 3–5 days.
Offer
Use code GIG9 at checkout and pay ₹4,860 for this book (save ₹481).
9% off every book, up to ₹500 off per order.
About this book
Topics covered include E vidence, Mathematische Logik, Evidence and Logique.
About the author: Richard Bornat (born 1944).
Book details
- ISBN-13
- 9780198530275
- ISBN-10
- 0198530277
- Author
- Richard Bornat
- Publisher
- Oxford Univ Pr on Demand
- Author dates
- Richard Bornat (born 1944)
- Published
- 2005
- Pages
- 243
- Language
- English
- Condition
- New
- Subject
- Computing & IT
More by Richard Bornat and related titles
Understanding and Writing Compilers
Richard Bornat
₹7,479
Practical Quantum Computing for Developers
Vladimir Silva
₹2,738
A Pedagogy of Multiliteracies
Bill Cope
₹2,710
Advanced Methods for Geometric Modeling and Numerical Simulation
Carlotta Giannelli, Hendrik Speleers
₹10,111
Topics in Grammatical Inference
Jeffrey Heinz, José M. Sempere
₹7,727
The Structure and Stability of Persistence Modules
Steve Oudot, Vin de Silva, Marc Glisse, Frédéric Chazal
₹5,486
Compilers and Operating Systems for Low Power
Luca Benini, Mahmut Kandemir, J. Ramanujam
₹7,732
Biomedical Signals and Sensors II
Eugenijus Kaniusas
₹9,255
Artificial Intelligence in Healthcare and Medicine
Kayvan Najarian, Delaram Kahrobaei, Enrique Dominguez, Reza Soroushmehr
₹14,082
Intelligent Integrated Energy Systems
Peter Palensky, Miloš Cvetković, Tamás Keviczky
₹4,480
Digital Platforms and Global Law
Fabio Bassan
₹8,250