Proof and Disproof in Formal Logic

作者: Richard Bornat
出版社: Oxford University Press
副标题: An Introduction for Programmers
出版年: 2005-9-29
页数: 264
定价: USD 85.00
装帧: Paperback
丛书: Oxford Texts in Logic
ISBN: 9780198530275

在哪儿借这本书  · · · · · ·

以下豆列推荐  · · · · · ·  ( 全部 )

谁读这本书?

[已注销]
[已注销]
2月20日 读过


靈比多多
靈比多多
2018年10月19日 想读


robin
robin
2018年6月17日 想读

tags:MathLogic 符号逻辑 数理逻辑

一砰居士
一砰居士
2018年4月26日 想读


> 3人读过

> 14人想读

二手市场

订阅关于Proof and Disproof in Formal Logic的评论:
feed: rss 2.0