Classical and Fuzzy Concepts in Mathematical Logic and Ap...
Reghis, Mircea S. / Roventa, Eugene
This title explains how to use the English language with logical responsibility, how to define and use formal language, and how to reason correctly. Specific issues include propositional and predicate logic, logic networks, logic programming, proof of correctness, semantics, syntax, and theorems of Herbrand and Kalman. TOC:Preliminaries of "Naive" Mathematical Logic. Propositional Logic: The Formal Language of Propositional Logic. The Truth St...