Catalog

Record Details

Catalog Search


Back To Results
Showing Item 4 of 6

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 4 of 6

Additional Resources