Logical foundations of proof complexity :: Stephen Arthur Cook :: ISBN 9780521517294 :: Cambridge University Press 2010 :: OBNB, the Open British National Bibliography

Publication Data

Title Logical foundations of proof complexity
Author Stephen Arthur Cook
Contributors Phuong Nguyen, Association for Symbolic Logic
Publisher Cambridge University Press
Publication date 2010
Publication location Cambridge
Language English

Descriptive Notes

'Published in association with Association for Symbolic Logic'.

Topics

Proof theory
Constructive mathematics

Catalogue Data

OBNB ID GBA9B3334
ISBN 10 052151729X
ISBN 13 9780521517294
Type BibliographicResource, Book
Dewey Classification 511.36

ISBD

P1053 xv, 479 p.
P1042 Includes bibliographical references and index.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Logical foundations of proof complexity by Stephen Arthur Cook. ISBN 9780521517294. Published by Cambridge University Press in 2010. Publication and catalogue information, links to buy online and reader comments.