Understanding and Writing Compilers
Richard Bornat
₹7,479
Proof and Disproof in Formal Logic
An Introduction for Programmers: 2
OUP Oxford · 2005
₹11,955
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
Proof and Disproof in Formal Logic: An Introduction for Programmers: 2 is written by Richard Bornat. This edition from OUP Oxford (2005) has 264 pages.
The book deals with E vidence, Mathematische Logik, Evidence and Logique.
About the author: Richard Bornat (born 1944).
Book details
- ISBN-13
- 9780198530268
- ISBN-10
- 0198530269
- Author
- Richard Bornat
- Publisher
- OUP Oxford
- Author dates
- Richard Bornat (born 1944)
- Published
- 2005
- Pages
- 264
- Language
- English
- Condition
- New
- Subject
- Computers & Internet
More by Richard Bornat and related titles
Proof and Disproof in Formal Logic
Richard Bornat
₹5,341
The Collaborative Economy and EU Law
Vassilis Hatzopoulos
₹12,078
The Routledge Companion to Disability and Media
Katie Ellis, Gerard Goggin
₹15,385
The Art of Clean Code
Christian Mayer
₹1,987
The Tensions of Algorithmic Thinking
David Beer
₹2,158
Models and Measures in Measurements and Monitoring
Vitaliy P. Babak, Serhii V. Babak, Mykhailo V. Myslovych, Artur O. Zaporozhets, Leonid M. Scherbak
₹13,083
An Introduction to ALGOL 68 Through Problems
A. Learner, A. J. Powell
₹4,100
Building Regression Models with SAS
Robert N. Rodriguez
₹8,645
Principles of Peptide Synthesis
Miklos Bodanszky
₹10,057
Ethical and Social Issues in the Information Age
Joseph Migga Kizza
₹3,848
Power and Performance
Jim Kukunas
₹5,912