Eugenio G. Omodeo

Martin Davis on Computability, Computational Logic, and Mathematical Foundations
On Sets and Graphs: Perspectives on Logic and Combinatorics
Mapping Sets and Hypersets into Numbers
Set-syllogistics meet combinatorics
A Computerized Referee

Published with Wowchemy — the free, open source website builder that empowers creators.