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...
| Κύριος συγγραφέας: | |
|---|---|
| Συγγραφή απο Οργανισμό/Αρχή: | |
| Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
London :
Springer London : Imprint: Springer,
2013.
|
| Έκδοση: | 5th ed. 2013. |
| Σειρά: | Universitext,
|
| Θέματα: | |
| Διαθέσιμο Online: | Full Text via HEAL-Link |
