Chargement en cours…

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

Description complète

Détails bibliographiques
Cote:Libro Electrónico
Auteur principal: Pudlák, Pavel (Auteur)
Collectivité auteur: SpringerLink (Online service)
Format: Électronique eBook
Langue:Inglés
Publié: Cham : Springer International Publishing : Imprint: Springer, 2013.
Édition:1st ed. 2013.
Collection:Springer Monographs in Mathematics,
Sujets:
Accès en ligne:Texto Completo