Opening book details…
Can I read Proof and Disproof in Formal Logic: An Introduction for Programmers (Oxford Texts in Logic) on EtoBox?
Proof and Disproof in Formal Logic: An Introduction for Programmers (Oxford Texts in Logic) by Richard Bornat is a mathematics available to read on EtoBox.
What is Proof and Disproof in Formal Logic: An Introduction for Programmers (Oxford Texts in Logic) about?
Proof and Disproof in Formal Logic is a lively and entertaining introduction to formal logic providing an excellent insight into how a simple logic works. This book concentrates on using logic as a tool: making and using formal proofs and disproofs of particular logical claims. The logic it uses - natural deduction - is very simple and shows how large mathematical universes can be built on small foundations. Aimed at undergraduates and graduates in computerscience, logic, mathematics, and philos
Who reads Proof and Disproof in Formal Logic: An Introduction for Programmers (Oxford Texts in Logic)?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Richard Bornat
- Publisher
- Oxford University Press, USA
- Published
- 2005
- Language
- EN
- ISBN
- 9780198530275
- Category
- mathematics
- Subjects
- Philosophy, Mathematics, Stem
- Updated
- 2026-03-25
Other editions & translations
More by Richard Bornat
Browse all works by Richard Bornat
Similar books
- Applied Logic for Computer Scientists : Computational Deduction and Formal Proofs — Mauricio Ayala-Rincón, Flávio L. C. de Moura (2017)
- Type Theory and Formal Proof : an Introduction — Professor Rob Nederpelt, Professor Herman Geuvers (2014)
- An Introduction to Formal Logic — Peter Smith (2020)
- Forallx – An Introduction to Formal Logic — P.D. Magnus
- A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity (Oxford Texts in Logic) — Shawn Hedman (2004)
- Introduction to Discrete Mathematics via Logic and Proof (Undergraduate Texts in Mathematics) — Calvin Jongsma (2019)
