Chargement en cours…
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...
| Cote: | Libro Electrónico |
|---|---|
| Auteur principal: | |
| Collectivité auteur: | |
| Format: | Électronique eBook |
| Langue: | Inglés |
| Publié: |
London :
Springer London : Imprint: Springer,
2013.
|
| Édition: | 5th ed. 2013. |
| Collection: | Universitext,
|
| Sujets: | |
| Accès en ligne: | Texto Completo |