Catalog

Record Details

Catalog Search


Logical Foundations of Mathematics and Computational Complexity A Gentle Introduction Cover Image E-book E-book

Logical Foundations of Mathematics and Computational Complexity [electronic resource] : A Gentle Introduction / by Pavel Pudlák.

Pudlák, Pavel. (author.). SpringerLink (Online service) (Added Author).

Record details

  • ISBN: 9783319001197
  • Physical Description: XIV, 695 p. 49 illus., 4 illus. in color. online resource.
  • Publisher: Heidelberg : Springer International Publishing : 2013.

Search for related items by subject

Subject: Mathematics.
Computer software.
Logic, Symbolic and mathematical.
Mathematics.
Mathematical Logic and Foundations.
Mathematics of Algorithmic Complexity.
Algorithm Analysis and Problem Complexity.

Search for related items by series

Electronic resources

Texto completo


Additional Resources