期刊书目 › BOOKS with Alphabet   M (Ma,Mb,Mc, Md,Me…) › Titlebook: Martin Davis on Computability, Computational Logic, and Mathematical Foundations; Eugenio G. Omodeo,Alberto Policriti Book 2016 Springer I

Moderate 发表于 2025-4-1 03:21:34

http://reply.papertrans.cn/63/6249/624873/624873_61.png

PLAYS 发表于 2025-4-1 09:47:50

http://reply.papertrans.cn/63/6249/624873/624873_62.png

evasive 发表于 2025-4-1 11:24:46

http://reply.papertrans.cn/63/6249/624873/624873_63.png

查看完整版本: Titlebook: Martin Davis on Computability, Computational Logic, and Mathematical Foundations; Eugenio G. Omodeo,Alberto Policriti Book 2016 Springer I