|
" Bounded arithmetic / "
Samuel R. Buss
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
650773
|
| Doc. No
|
:
|
dltt
|
| Main Entry
|
:
|
Buss, Samuel R
|
| Title & Author
|
:
|
Bounded arithmetic /\ Samuel R. Buss
|
| Publication Statement
|
:
|
Napoli :: Bibliopolis,, c1986
|
| Series Statement
|
:
|
Studies in proof theory; 3
|
| Page. NO
|
:
|
221 p. ;; 24 cm
|
| ISBN
|
:
|
8870881504 (pbk.) :
|
| Notes
|
:
|
Includes indexes
|
| Bibliographies/Indexes
|
:
|
Bibliography: p. [215]-216
|
| Subject
|
:
|
Constructive mathematics
|
| Subject
|
:
|
Computational complexity
|
| LC Classification
|
:
|
QA9.56.B87 1986
|
|
|
:
|
QA9.56.B87 1986
|
| |