Pudlak, Pavel.

Logical foundations of mathematics and computational complexity a gentle introduction / [electronic resource] : Pavel Pudlak. - 1st ed. - New York : Springer, 2013. - xiv, 695 p. - Springer monographs in mathematics . - Springer monographs in mathematics. .

Includes bibliographical references and index.

9783319001197


Computational complexity.
Mathematics.


Electronic books.

QA267.7.P83 / L64 2013