Martin Davis on Computability, Computational Logic, and Mathematical Foundations Omodeo Eugenio G. Innbundet / 2017 / Engelsk
Martin Davis on Computability, Computational Logic, and Mathematical Foundations Omodeo Eugenio G. Heftet / 2018 / Engelsk
On Sets and Graphs Perspectives on Logic and Combinatorics Omodeo Eugenio G. Innbundet / 2017 / Engelsk
Computational Logic and Set Theory Applying Formalized Logic to Analysis Schwartz Jacob T. Heftet / 2014 / Engelsk
Computational Logic and Set Theory Applying Formalized Logic to Analysis Schwartz Jacob T. Innbundet / 2011 / Engelsk
