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 (Autor) |
Autor Corporativo: | SpringerLink (Online service) |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
Cham :
Springer International Publishing : Imprint: Springer,
2013.
|
Edición: | 1st ed. 2013. |
Colección: | Springer Monographs in Mathematics,
|
Temas: | |
Acceso en línea: | Texto Completo |
Ejemplares similares
-
New Directions in Paraconsistent Logic 5th WCP, Kolkata, India, February 2014 /
Publicado: (2015) -
A Course in Mathematical Logic for Mathematicians
por: Manin, Yu. I.
Publicado: (2010) -
Petr Hájek on Mathematical Fuzzy Logic
Publicado: (2015) -
A Course on Mathematical Logic
por: Srivastava, Shashi Mohan
Publicado: (2008) -
A Concise Introduction to Mathematical Logic
por: Rautenberg, Wolfgang
Publicado: (2010)