Logic and Structure
Dirk van Dalen’s popular textbook Logic and Structure, now in its fifth edition, provides a comprehensive introduction to the basics of classical and intuitionistic logic, model theory and Gödel’s famous incompleteness theorem. Propositional and predicate logic are presented in an easy-to-read style...
| Main Author: | |
|---|---|
| Corporate Author: | |
| Language: | English |
| Published: |
London :
Springer London : Imprint: Springer,
2013.
|
| Edition: | 5th ed. 2013. |
| Series: | Universitext,
|
| Subjects: | |
| Online Access: | https://doi.org/10.1007/978-1-4471-4558-5 |