Journals Higher Education



Published: 29 September 2005

264 Pages | 96 line illus.

ISBN: 9780198530275

Also Available As:


Bookseller Code (06)

Proof and Disproof in Formal Logic

An Introduction for Programmers

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

Also of Interest