Logic And Structure
| Use attributes for filter ! | |
| Google books | books.google.com |
|---|---|
| Originally published | 1980 |
| Authors | Dirk van Dalen |
| Date of Reg. | |
| Date of Upd. | |
| ID | 2130789 |
About Logic And Structure
A book which efficiently presents the basics of propositional and predicate logic, van Dalen's popular textbook contains a complete treatment of elementary classical logic on the basis of Gentzen's Natural Deduction and the traditional two-valued semantics, culminating in the completeness theorems. . . .