Proof and disproof in formal logic : an introduction for programmers /

Main Author: Bornat, Richard, 1944-
Format: Book
Language:English
Published: Oxford ; New York : Oxford University Press, 2005.
Series:Oxford texts in logic ; 2
Subjects:
Table of Contents:
  • Basics
  • Formal proof
  • Disproof
  • Proof of programs.