Martin Davis on Computability, Computational Logic, and Mathematical Foundations Omodeo Eugenio G. Heftet / 2018 / Engelsk
Martin Davis on Computability, Computational Logic, and Mathematical Foundations Omodeo Eugenio G. Innbundet / 2017 / Engelsk
On Sets and Graphs Perspectives on Logic and Combinatorics Omodeo Eugenio G. Innbundet / 2017 / Engelsk
Set Theory for Computing From Decision Procedures to Declarative Programming with Sets Cantone Domenico Innbundet / 2001 / Engelsk
Set Theory for Computing From Decision Procedures to Declarative Programming with Sets Cantone Domenico Heftet / 2011 / Engelsk
