عنوان
پدید آورنده
موضوع
رده
QA 9.63 .I52
QA
9
.
63
.
I52
کتابخانه
محل استقرار
The incomputable : journeys beyond the Turing barrier
Cham
Springer
c2017
x, 292 p.: ill., )some col.( + 1 computer file: PDF
Includes bibliographies
ISBN: 9783319436678
S. Barry Cooper, Mariya I. Soskova, editors
1
، Unsolvability )Mathematical logic(
، Computable functions
، Logic, Symbolic and mathematical
QA
9
.
63
.
I52
NO
TI
AU Cooper, S. Barry, 1943- editor
AU Soskova, Mariya editor
