Logical Foundations of Mathematics and Computational Complexity : a Gentle Introduction /
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...
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: | |
Acceso en línea: | Texto completo |
Ejemplares similares
-
Handbook of Mathematical Logic.
por: Barwise, Jon
Publicado: (1989) -
Mathematical logic /
por: Chiswell, Ian, 1948-
Publicado: (2007) -
The foundations of mathematics /
por: Stewart, Ian, 1945-, et al.
Publicado: (2015) -
Foundations without foundationalism : a case for second-order logic /
por: Shapiro, Stewart, 1951-
Publicado: (1991) -
Foundations without foundationalism : a case for second-order logic /
por: Shapiro, Stewart, 1951-
Publicado: (1991)