عنوان
پدید آورنده
موضوع
رده
QA,9.56,.K73,1995
QA
,
9
.
56
,.
K73
,
1995
کتابخانه
محل استقرار
0521452058
IR
ebook13774
انگلیسی
IR
Bounded arithmetic, propositional logic, and complexity theory
[Electronic Resource]
/ Jan Krajicek
Cambridge [England] ;New York, NY, USA
: Cambridge University Press,
, 1995.
xiv, 343 p.
: ; 24 cm.
(Encyclopedia of mathematics and its applications)
e
Includes bibliographical references (p. 327-334) and indexes.
Constructive mathematics.
Proposition (Logic)
Computational complexity.
511
.
3
QA
,
9
.
56
,.
K73
,
1995
Krajaiecek, Jan
ایران
511.3
0521452058.pdf
0
0
old catalog
e
BL
1
a
Y
