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...

Descripción completa

Detalles Bibliográficos
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