Bounded arithmetic, propositional logic, and complexity theory
| Tác giả chính: | |
|---|---|
| Định dạng: | Sách |
| Ngôn ngữ: | English |
| Được phát hành: |
Cambridge [England]
Cambridge University Press
c1995.
|
| Loạt: | Encyclopedia of mathematics and its applications
v.60 |
| Những chủ đề: |