Alberto Policriti

• Martin Davis on Computability, Computational Logic, and Mathematical Foundations
• On Sets and Graphs
• Set Theory for Computing
• Set theory for computing