عنوان
پدید آورنده
موضوع
رده
QA9.56 .B87 1986
QA9
.
56
.
B87
1986
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
8870881504 (pbk.) :
NATIONAL BIBLIOGRAPHY NUMBER
Number
dltt
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Bounded arithmetic /
General Material Designation
[Book]
First Statement of Responsibility
Samuel R. Buss
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Napoli :
Name of Publisher, Distributor, etc.
Bibliopolis,
Date of Publication, Distribution, etc.
c1986
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
221 p. ;
Dimensions
24 cm
SERIES
Series Title
Studies in proof theory
Volume Designation
3
GENERAL NOTES
Text of Note
Includes indexes
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Bibliography: p. [215]-216
TOPICAL NAME USED AS SUBJECT
Computational complexity
Constructive mathematics
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA9
.
56
Class number
QA9
.
56
Book number
.
B87
1986
Book number
.
B87
1986
PERSONAL NAME - PRIMARY RESPONSIBILITY
Buss, Samuel R
ORIGINATING SOURCE
Date of Transaction
19900202172248.0
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
