TY  - BOOK
A1  - Eugenio G. Omodeo, Alberto Policriti, editors
TI  - Martin Davis on computability, computational logic, and mathematical foundations
PB  - کتابخانه پژوهشگاه دانشهای بنیادی
SN  - 101398326
UR  /book/101398326/Martin-Davis-on-computability-computational-logic/
ER  -