Elementary Logic 在线电子书 图书标签:
发表于2025-01-20
Elementary Logic 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2025
@2020-01-06 21:35:46
评分妙妙哟
评分@2020-01-06 21:35:46
评分@2020-01-06 21:35:46
评分@2020-01-06 21:35:46
Now much revised since its first appearance in 1941, this book, despite its brevity, is notable for its scope and rigor. It provides a single strand of simple techniques for the central business of modern logic. Basic formal concepts are explained, the paraphrasing of words into symbols is treated at some length, and a testing procedure is given for truth-function logic along with a complete proof procedure for the logic of quantifiers. Fully one third of this revised edition is new, and presents a nearly complete turnover in crucial techniques of testing and proving, some change of notation, and some updating of terminology. The study is intended primarily as a convenient encapsulation of minimum essentials, but concludes by giving brief glimpses of further matters.
评分
评分
评分
评分
Elementary Logic 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2025