Computational Logic and Set Theory Applying Formalized Logic to Analysis /

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

On Sets and Graphs Perspectives on Logic and Combinatorics /

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