Catalog

Record Details

Catalog Search


Search Results Showing Item 4 of 6

Logical Foundations of Mathematics and Computational Complexity A Gentle Introduction

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

Electronic resources

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 : 2013.
Subject: Mathematics
Computer software
Logic, Symbolic and mathematical
Mathematics
Mathematical Logic and Foundations
Mathematics of Algorithmic Complexity
Algorithm Analysis and Problem Complexity
Search Results Showing Item 4 of 6

Additional Resources