On Sets and Graphs On Sets and Graphs
2017년
Martin Davis on Computability, Computational Logic, and Mathematical Foundations Martin Davis on Computability, Computational Logic, and Mathematical Foundations
2017년
Computational Logic and Set Theory Computational Logic and Set Theory
2011년