Perspectives in logic logical foundations of proof complexity /
Основен автор: | Cook, Stephen, 1948- |
---|---|
Автор-организации: | ebrary, Inc. |
Други автори: | Nguyen, Phuong, 1977- |
Формат: | Електронен |
Език: | English |
Публикувано: |
Cambridge ; New York :
Cambridge University Press,
2010.
|
Предмети: | |
Онлайн достъп: |
An electronic book accessible through the World Wide Web; click to view |
Физически характеристики: |
xv, 479 p. |
---|---|
Библиография: |
Includes bibliographical references and index. |