 |
 |
 |
Proof And Disproof in Formal Logic: An Introduction for Programmers
(Paperback, 2005)
Author: Richard Bornat

|
 |
 |
|
|
|
 |
 |
LIST PRICE $101.00 Save 65%
|
 |
 |
|
|
 |
Format: Paperback ISBN-10: 0198530277 ISBN-13: 9780198530275 Sep 2005 Publisher: Oxford Univ Pr 243 pages Oxford Texts in Logic Language: English |
 |
|
|
|