图书标签:
发表于2024-11-25
Elementary Logic pdf epub mobi txt 电子书 下载 2024
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.
@2020-01-06 21:35:46
评分妙妙哟
评分妙妙哟
评分@2020-01-06 21:35:46
评分妙妙哟
评分
评分
评分
评分
Elementary Logic pdf epub mobi txt 电子书 下载 2024