On Sets and Graphs More Books by Eugenio G. Omodeo, Alberto Policriti & Alexandru I. Tomescu

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