Proof and Disproof in Formal 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

Readership: Undergraduates and graduates in logic, computer science, mathematics, and philosophy seeking a comprehensive introduction to formal logic through proof and disproof.

Richard Bornat, School of Computing Science, Middlesex University

Preface
PART I BASICS
1: A Rough History of Logic
2: How to speak and read logic
PART II FORMAL PROOF
3: Connectives
4: Rule shapes and formula shapes
5: Proof with connectives
6: The logical quantifiers
7: Proofs with quantifiers
PART III DISPROOF
8: Disproof in a mathematical model
9: Constructive semantics
10: Classical semantics
11: Disproof calculation
PART IV PROOF OF PROGRAMS
12: Specification and Verification
13: A simple programming language
14: Loops
15: Arrays
Index

Link to the Jape home page