عنوان
پدید آورنده
موضوع
رده
QA 241 .M38
QA
241
.
M38
کتابخانه
محل استقرار
Martin Davis on computability, computational logic, and mathematical foundations
Cham
Springer
c2016
xxvii, 438 p.: ill. )some col.( + 1 computer file: PDF
Outstanding contributions to logic; 01
Includes bibliographies
ISBN: 9783319418414
Eugenio G. Omodeo, Alberto Policriti, editors
1
، Number theory
، Logic, Symbolic and mathematical
، Davis, Martin, 8291-
، Mathematicians -- United States
QA
241
.
M38
NO
TI
AU Omodeo, Eugenio editor
AU Policriti, Alberto editor
