A Concise Introduction to Logic

A Concise Introduction to Logic

Patrick J. Hurley
你有多喜歡這本書?
文件的質量如何?
下載本書進行質量評估
下載文件的質量如何?
This work makes available to readers without specialized training in mathematics complete proofs of the fundamental metatheorems of standard (i.e., basically truth-functional) first order logic. Included is a complete proof, accessible to non-mathematicians, of the undecidability of first order logic, the most important fact about logic to emerge from the work of the last half-century.Hunter explains concepts of mathematics and set theory along the way for the benefit of non-mathematicians. He also provides ample exercises with comprehensive answers
年:
2012
版本:
11th
出版商:
Wadsworth Cengage Learning
語言:
english
頁數:
750
ISBN 10:
1111346232
ISBN 13:
9781111346232
文件:
PDF, 5.60 MB
IPFS:
CID , CID Blake2b
english, 2012
下載 (pdf, 5.60 MB)
轉換進行中
轉換為 失敗

最常見的術語