On Sets and Graphs On Sets and Graphs
٢٠١٧
Martin Davis on Computability, Computational Logic, and Mathematical Foundations Martin Davis on Computability, Computational Logic, and Mathematical Foundations
٢٠١٧
Computational Logic and Set Theory Computational Logic and Set Theory
٢٠١١