Martin Davis on Computability, Computational Logic, and Mathematical Foundations Sách Khác Của Eugenio G. Omodeo & Alberto Policriti

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