Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Logical foundations of proof complexity / / Stephen Cook, Phuong Nguyen [[electronic resource]]
| Logical foundations of proof complexity / / Stephen Cook, Phuong Nguyen [[electronic resource]] |
| Autore | Cook Stephen <1948-> |
| Pubbl/distr/stampa | Cambridge : , : Cambridge University Press, , 2010 |
| Descrizione fisica | 1 online resource (xv, 479 pages) : digital, PDF file(s) |
| Disciplina | 511.3/6 |
| Collana | Perspectives in logic |
| Soggetto topico |
Computational complexity
Proof theory Logic, Symbolic and mathematical |
| ISBN |
1-107-20671-5
1-282-53611-7 9786612536113 0-511-67967-X 0-511-67842-8 0-511-68165-8 0-511-67716-2 0-511-67627-1 0-511-68363-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Cover; Half-title; Series-title; Title; Copyright; CONTENTS; PREFACE; Chapter I: INTRODUCTION; Chapter II: THE PREDICATE CALCULUS AND THE SYSTEM LK; Chapter III: PEANO ARITHMETIC AND ITS SUBSYSTEMS; Chapter IV: TWO-SORTED LOGIC AND COMPLEXITY CLASSES; Chapter V: THE THEORY V0 AND AC0; Chapter VI: THE THEORY V1 AND POLYNOMIAL TIME; Chapter VII: PROPOSITIONAL TRANSLATIONS; Chapter VIII: THEORIES FOR POLYNOMIAL TIME AND BEYOND; Chapter IX: THEORIES FOR SMALL CLASSES; Chapter X: PROOF SYSTEMS AND THE REFLECTION PRINCIPLE; Appendix A: COMPUTATION MODELS; BIBLIOGRAPHY; INDEX |
| Record Nr. | UNINA-9910456558303321 |
Cook Stephen <1948->
|
||
| Cambridge : , : Cambridge University Press, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logical foundations of proof complexity / / Stephen Cook, Phuong Nguyen [[electronic resource]]
| Logical foundations of proof complexity / / Stephen Cook, Phuong Nguyen [[electronic resource]] |
| Autore | Cook Stephen <1948-> |
| Pubbl/distr/stampa | Cambridge : , : Cambridge University Press, , 2010 |
| Descrizione fisica | 1 online resource (xv, 479 pages) : digital, PDF file(s) |
| Disciplina | 511.3/6 |
| Collana | Perspectives in logic |
| Soggetto topico |
Computational complexity
Proof theory Logic, Symbolic and mathematical |
| ISBN |
1-107-20671-5
1-282-53611-7 9786612536113 0-511-67967-X 0-511-67842-8 0-511-68165-8 0-511-67716-2 0-511-67627-1 0-511-68363-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Cover; Half-title; Series-title; Title; Copyright; CONTENTS; PREFACE; Chapter I: INTRODUCTION; Chapter II: THE PREDICATE CALCULUS AND THE SYSTEM LK; Chapter III: PEANO ARITHMETIC AND ITS SUBSYSTEMS; Chapter IV: TWO-SORTED LOGIC AND COMPLEXITY CLASSES; Chapter V: THE THEORY V0 AND AC0; Chapter VI: THE THEORY V1 AND POLYNOMIAL TIME; Chapter VII: PROPOSITIONAL TRANSLATIONS; Chapter VIII: THEORIES FOR POLYNOMIAL TIME AND BEYOND; Chapter IX: THEORIES FOR SMALL CLASSES; Chapter X: PROOF SYSTEMS AND THE REFLECTION PRINCIPLE; Appendix A: COMPUTATION MODELS; BIBLIOGRAPHY; INDEX |
| Record Nr. | UNINA-9910781165603321 |
|
Cook Stephen <1948->
|
||
| Cambridge : , : Cambridge University Press, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||