Martin Davis on Computability, Computational Logic, and Mathematical Foundations المزيد من كتب Eugenio G. Omodeo & Alberto Policriti

On Sets and Graphs On Sets and Graphs
٢٠١٧
Computational Logic and Set Theory Computational Logic and Set Theory
٢٠١١