Cargando…
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...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Autor Corporativo: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
London :
Springer London : Imprint: Springer,
2013.
|
| Edición: | 5th ed. 2013. |
| Colección: | Universitext,
|
| Temas: | |
| Acceso en línea: | Texto Completo |
Tabla de Contenidos:
- Introduction
- Propositional Logic
- Predicate Logic
- Completeness and Applications
- Second Order Logic
- Intuitionistic Logic
- Normalization
- Gödel's theorem.