Computational Logic and Set Theory Applying Formalized Logic to Analysis by Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo.

by Schwartz, Jacob T., Cantone, Domenico, Omodeo, Eugenio G.
Published 2011

On Sets and Graphs Perspectives on Logic and Combinatorics by Eugenio G. Omodeo, Alberto Policriti, Alexandru I. Tomescu.

by Omodeo, Eugenio G., Policriti, Alberto, Tomescu, Alexandru I.
Published 2017

Martin Davis on Computability, Computational Logic, and Mathematical Foundations edited by Eugenio G. Omodeo, Alberto Policriti.

Published 2016