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

|
 |
 |
|
|
|
 |
 |
LIST PRICE $149.50 Save 62%
|
 |
 |
|
|
 |
Format: Hardcover ISBN-10: 0198530269 ISBN-13: 9780198530268 Sep 2005 Publisher: Oxford Univ Pr 243 pages Oxford Texts in Logic Language: English |
 |
|
|
|