ABUSE FORM
Proof and Disproof in Formal Logic
Posted By :
johinson
|
Date :
06 Dec 2009 09:52:38
|
Comments :
0
|
|
Richard Bornat, «Proof and Disproof in Formal Logic: An Introduction for Programmers»
Oxford University Press | ISBN: 0198530269 | 2005 | PDF | 264 pages | 5.14 MB
Proof and Disproof in Formal Logic is a lively and entertaining introduction to formal logic providing an excellent insight into how a simple logic works. Formal logic allows you to check a logical claim without considering what the claim means. This highly abstracted idea is an essential and practical part of computer science.
| ADVERTISING » | High Speed Download | « ADVERTISING |
Recent searches:
No comments for the news