Martin Davis on Computability, Computational Logic, and Mathematical Foundations More Books by 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