Perspectives in logic : logical foundations of proof complexity / / Stephen Cook, Phuong Nguyen.
Saved in:
: | |
---|---|
TeilnehmendeR: | |
Year of Publication: | 2010 |
Language: | English |
Online Access: | |
Physical Description: | xv, 479 p. |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Logical foundations of mathematics and computational complexity : a gentle introduction / / Pavel Pudlak.
by: Pudlak, Pavel.
Published: (2013.) -
Logic and automata : history and perspectives / / edited by Jorg Flum, Erich Gradel, and Thomas Wilke.
Published: (c2008.) -
Logic and automata : : history and perspectives / / edited by Jorg Flum, Erich Gradel, and Thomas Wilke.
Published: (c2008.) -
Theory of computational complexity / / Ding-Zhu Du, Ker-I Ko.
by: Du, Dingzhu,
Published: (2014.) -
Advances in network complexity / edited by Matthias Dehmer, Abbe Mowshowitz, and Frank Emmert-Streib.
Published: (c2013.)