Martin Davis on Computability, Computational Logic, and Mathematical Foundations Eugenio G. Omodeo & Alberto Policriti의 도서 더 보기

On Sets and Graphs On Sets and Graphs
2017년
Computational Logic and Set Theory Computational Logic and Set Theory
2011년