Proof and disproof in formal logic

SubTitle

an introduction for programmers

Author Statement

Richard Bornat

Publication

Oxford University Press

Publication Year

c2005

Collation

xix, 243 p. ill.

Series

Oxford texts in logic

Notes

Includes index , Basics -- Formal proof -- Disproof -- Proof of programs

Subject

Evidence. , Logic, Modern.

Main class

160

Cutter no

B736p

ISBN

9780-19-853027-5

Link To Document