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 |
| Онлайн достъп от Библиотека ”Паница” на Американския университет в България: |
An electronic book accessible through the World Wide Web; click to view |
|---|
| Провери в Paniza Library, AUBG | Сигнатура: |
QA267.7 .C695 2010eb |
|---|