Logical Foundations of Mathematics and Computational Complexity : a Gentle Introduction /

Mostrar otras versiones (1)

The two main themes of this book, logic and complexity, are both essential for understanding the main problems about the foundations of mathematics. Logical Foundations of Mathematics and Computational Complexity covers a broad spectrum of results in logic and set theory that are relevant to the fou...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Pudlák, Pavel
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Heidelberg : Springer International Publishing : Imprint : Springer, 2013.
Colección:Springer monographs in mathematics,
Temas:
Mathematics.
Computer software.
Logic, Symbolic and mathematical.
Mathematics
Software
Mathématiques.
Logiciels.
Logique symbolique et mathématique.
software.
Computer software
Logic, Symbolic and mathematical
Acceso en línea:Texto completo
Descripción
Sumario:The two main themes of this book, logic and complexity, are both essential for understanding the main problems about the foundations of mathematics. Logical Foundations of Mathematics and Computational Complexity covers a broad spectrum of results in logic and set theory that are relevant to the foundations, as well as the results in computational complexity and the interdisciplinary area of proof complexity. The author presents his ideas on how these areas are connected, what are the most fundamental problems and how they should be approached. In particular, he argues that complexity is as im.
Descripción Física:1 online resource (XIV, 695 pages)
ISBN:9783319001197
3319001191
ISSN:1439-7382

Ejemplares similares