Journals Higher Education
Important OUP's Response to COVID-19 Learn more



This item is printed to order. Items which are printed to order are normally despatched and charged within 5-10 days.

Published: 21 July 2005

264 Pages | numerous diagrams


ISBN: 9780198530268

Also Available As:


Bookseller Code (AQ)

Proof and Disproof in Formal Logic

Richard Bornat

Oxford Texts in Logic

  • There are many textbooks on logic aimed at philosophers but few cover the basics of formal logic for computer scientists and mathematicians, which is an important and growing area. This book will be an interesting and unrivalled addition to the field.
  • Lively and entertaining introduction to formal logic with comprehensive coverage of the basics
  • Suitable for students of logic, computer science, mathematics, and philosophy
  • Contains numerous exercises based on Jape - an interactive teaching and research tool designed and hosted by the author that is freely available on the web