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: | van Dalen, Dirk (Autor) |
Autor Corporativo: | SpringerLink (Online service) |
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 |
Ejemplares similares
-
Towards an Arithmetical Logic The Arithmetical Foundations of Logic /
por: Gauthier, Yvon
Publicado: (2015) -
A Course in Mathematical Logic for Mathematicians
por: Manin, Yu. I.
Publicado: (2010) -
Petr Hájek on Mathematical Fuzzy Logic
Publicado: (2015) -
Completeness Theory for Propositional Logics
por: Pogorzelski, Witold A., et al.
Publicado: (2008) -
New Directions in Paraconsistent Logic 5th WCP, Kolkata, India, February 2014 /
Publicado: (2015)