Logical Foundations of Mathematics and Computational Complexity A Gentle Introduction
by
 
Pudlák, Pavel. author.

Title
Logical Foundations of Mathematics and Computational Complexity A Gentle Introduction

Author
Pudlák, Pavel. author.

ISBN
9783319001197

Physical Description
XIV, 695 p. 49 illus., 4 illus. in color. online resource.

Series
Springer Monographs in Mathematics,

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

Added Corporate Author
SpringerLink (Online service)

Electronic Access
http://dx.doi.org/10.1007/978-3-319-00119-7


LibraryMaterial TypeItem BarcodeShelf Number[[missing key: search.ChildField.HOLDING]]Status
Online LibraryE-Book332681-1001ONLINE(332681.1)Elektronik Kütüphane