Catalog

Record Details

Catalog Search


Back To Results
Showing Item 13 of 90

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

Logical Foundations of Mathematics and Computational Complexity A Gentle Introduction

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

Record details

  • ISBN: 9783319001197
  • Physical Description: electronic
    electronic resource
    access
    remote
    XIV, 695 p. 49 illus., 4 illus. in color. online resource.
  • Publisher: Heidelberg : Springer International Publishing : Imprint: Springer, 2013.
Subject: Mathematics
Computer software
Logic, Symbolic and mathematical
Mathematics
Mathematical Logic and Foundations
Mathematics of Algorithmic Complexity
Algorithm Analysis and Problem Complexity

Electronic resources


Back To Results
Showing Item 13 of 90

Additional Resources