Martin Davis on Computability, Computational Logic, and Mathematical Foundations Más libros de Eugenio G. Omodeo & Alberto Policriti

On Sets and Graphs On Sets and Graphs
2017
Computational Logic and Set Theory Computational Logic and Set Theory
2011