Logic for applications = 应用逻辑 / 2nd ed.
作者： Anil Nerode, Richard A. Shore著.
出版社：
简介：This book is a rigorous elementary introduction to classical
predicate logic emphasizing that deduction is a form of
computation. We cover the standard topics of soundness,
completeness and compactness: our proof methods produce only valid
results, all valid sentences are provable and, if a fact is a
logical consequence of an infinite set of axioms, it is actually a
consequence of finitely many of them. The need for soundness seems
obvious but, as we see in our discussion Of PROLOG, even 更多>>
