Logic and Structure
Dirk van Dalen<U+0019>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 Gd̲el<U+0019>s famous incompleteness theorem. Propositional and predicate logic are presente...
| Main Author: | |
|---|---|
| Corporate Author: | |
| Format: | Electronic |
| Language: | English |
| Published: |
London :
Springer London : Imprint: Springer,
2013.
|
| Edition: | 5th ed. 2013. |
| Series: | Universitext,
|
| Subjects: | |
| Online Access: | https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-1-4471-4558-5 |