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

Email RIS file
Bookmark
Report an Issue

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

Author
Bornat, Richard, 1944-
Published
Oxford ; New York : Oxford University Press, 2005.
Physical Description
1 online resource (xix, 243 pages) : illustrations
Access Online

Availability

I Want It
I Want It

Finding items...

Series
Language Note
English.
Contents
Basics -- Formal proof -- Disproof -- Proof of programs.
Summary
"Proof and Disproof in Formal Logic is a lively and entertaining introduction to formal logic that provides an excellent insight into how a simple logic works. The text concentrates on practical skills: making proofs and disproofs of particular logical claims. The logic it employs - Natural Deduction - is very small and very simple and teaches the student how to focus on syntactic reasoning." "Aimed at undergraduates and graduates in computer science, logic, mathematics, and philosophy, the text shows how to make proofs and disproofs in Jape, an interactive easy-to-use logic calculator designed and hosted by the author that is freely available on the web."--Jacket
Subject(s)
ISBN
142375722X (electronic bk.)
9781423757221 (electronic bk.)
9786610759002
6610759006
9780198530275
0198530277
1280759003
9781280759000
0198530269
9780198530268
0198530277 (Paper)
Note
Includes index.
View MARC record | catkey: 43159462