Proof and disproof in formal logic : an introduction for programmers /
"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 Ded...
Saved in:
| 主要作者: | |
|---|---|
| 格式: | 图书 |
| 语言: | English |
| 出版: |
Oxford ; New York :
Oxford University Press,
2005.
|
| 丛编: | Oxford texts in logic ;
2. |
| 主题: | |
| 标签: |
添加标签
没有标签, 成为第一个标记此记录!
|
3rd Floor Main Library
| 索引号: |
A1234.567 |
|---|---|
| 复印件 1 | 可用 |