Logical Foundations of Proof Complexity
by
 
Cook, Stephen.

Title
: 
Logical Foundations of Proof Complexity

Author
: 
Cook, Stephen.

ISBN
: 
9780511676277
 
9780521517294

Publication Information
: 
Cambridge : Cambridge University Press, 2010

Physical Description
: 
1 online resource (496 p.) : digital, PDF file(s).

Series
: 
Perspectives in Logic

Series Title
: 
Perspectives in Logic

General Note
: 
Title from publishers bibliographic system (viewed on 06 Sep 2013).

Subject Term
: 
Computational complexity.
 
Proof theory.
 
Logic, Symbolic and mathematical.

Added Author
: 
Cook, Stephen.
 
Nguyen, Phuong.

Electronic Access
: 
Access by subscription


LibraryMaterial TypeItem BarcodeShelf Number[[missing key: search.ChildField.HOLDING]]Status
Online LibraryE-Book237834-1001ONLINEElektronik Kütüphane