Matches in Harvard for { <http://id.lib.harvard.edu/aleph/008931355/catalog> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- catalog abstract ""This book is both a concise introduction to the central results and methods of structural proof theory and a work of research that will be of interest to specialists. The book is designed to be used by students of philosophy, mathematics, and computer science." "The book contains a wealth of new results on proof-theoretical systems, including extensions of such systems from logic to mathematics, and on the connection between the two main forms of structural proof theory - natural deduction and sequent calculus. The authors emphasize the computational context of logical results." "A special feature of the volume is a computerized system for developing proofs interactively, downloadable from the web and regularly updated."--Jacket.".
- catalog contributor b12541936.
- catalog contributor b12541937.
- catalog created "2001.".
- catalog date "2001".
- catalog date "2001.".
- catalog dateCopyrighted "2001.".
- catalog description ""This book is both a concise introduction to the central results and methods of structural proof theory and a work of research that will be of interest to specialists. The book is designed to be used by students of philosophy, mathematics, and computer science." "The book contains a wealth of new results on proof-theoretical systems, including extensions of such systems from logic to mathematics, and on the connection between the two main forms of structural proof theory - natural deduction and sequent calculus. The authors emphasize the computational context of logical results." "A special feature of the volume is a computerized system for developing proofs interactively, downloadable from the web and regularly updated."--Jacket.".
- catalog description "1. From natural deduction to sequent calculus -- 2. Sequent calculus for intuitionistic logic -- 3. Sequent calculus for classical logic -- 4. The quantifiers -- 5. Variants of sequent calculi -- 6. Structural proof analysis of axiomatic theories -- 7. Intermediate logical systems -- 8. Back to natural deduction -- Conclusion: Diversity and unity in structural proof theory -- App. A. Simple type theory and categorical grammar -- App. B. Proof theory and constructive type theory -- App. C. PESCA -- A proof editor for sequent calculus / Aarne Ranta.".
- catalog description "Includes bibliographical references (p. 245-249) and indexes.".
- catalog extent "xvii, 257 p. ;".
- catalog identifier "0521793076 (hbk.)".
- catalog issued "2001".
- catalog issued "2001.".
- catalog language "eng".
- catalog publisher "Cambridge ; New York : Cambridge University Press,".
- catalog subject "511.3 21".
- catalog subject "Proof theory.".
- catalog subject "QA9.54 .N44 2001".
- catalog tableOfContents "1. From natural deduction to sequent calculus -- 2. Sequent calculus for intuitionistic logic -- 3. Sequent calculus for classical logic -- 4. The quantifiers -- 5. Variants of sequent calculi -- 6. Structural proof analysis of axiomatic theories -- 7. Intermediate logical systems -- 8. Back to natural deduction -- Conclusion: Diversity and unity in structural proof theory -- App. A. Simple type theory and categorical grammar -- App. B. Proof theory and constructive type theory -- App. C. PESCA -- A proof editor for sequent calculus / Aarne Ranta.".
- catalog title "Structural proof theory / Sara Negri, Jan von Plato ; with an appendix by Aarne Ranta.".
- catalog type "text".