عنوان
پدید آورنده
موضوع
رده
QA 9.59 .B6713
QA
9
.
59
.
B6713
کتابخانه
محل استقرار
Computability, complexity, logic
Amesterdam
North-Holland
c1989
xx, 592p.: ill
Studies in logic and the foundations of mathematics; V.821
Translation of: Berechenbarkeit, Komplexitat, Logik
Bibliography: p.]528[-573
ISBN: 0444874062
E. Borger
1
2
، Computable functions
، Computational complexity
، Logic, Symbolic and mathematical
QA
9
.
59
.
B6713
Borger, Egon, 6491-
AU
TI
TI Complexity
TI Logic
SE
