Eugenio G. Omodeo

Books by Eugenio G. Omodeo

Total count: 3

• 
  Computational Logic and Set TheoryApplying Formalized Logic to Analysis

  Springer2011-07-28
• 
  Martin Davis on Computability, Computational Logic, and Mathematical Foundations

  Springer2017-02-09
• 
  On Sets and GraphsPerspectives on Logic and Combinatorics

  Springer2017-05-13