Perspectives in logic logical foundations of proof complexity /
Saved in:
Main Author: | Cook, Stephen, 1948- |
---|---|
Corporate Author: | ebrary, Inc |
Other Authors: | Nguyen, Phuong, 1977- |
Format: | Electronic eBook |
Language: | English |
Published: |
Cambridge ; New York :
Cambridge University Press,
2010.
|
Subjects: | |
Online Access: | An electronic book accessible through the World Wide Web; click to view |
Tags: |
![]()
No Tags, Be the first to tag this record!
|
Similar Items
-
Logic and automata history and perspectives /
Published: (2008) -
Proof, logic, and formalization
Published: (1992) -
Elements of the theory of computation /
by: Lewis, Harry R.
Published: (1998) -
Tracking reason proof, consequence, and truth /
by: Azzouni, Jody
Published: (2006) -
Concepts of proof in mathematics, philosophy, and computer science /
Published: (2016)