Opening book details…
Can I read Proof and Disproof in Formal Logic: An Introduction for Programmers (Oxford Texts in Logic, 2) on EtoBox?
Proof and Disproof in Formal Logic: An Introduction for Programmers (Oxford Texts in Logic, 2) 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, 2) 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, 2)?
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
