"Hints for the Design of a Set Calculus Oriented to Automated Deduction."

Eugenio G. Omodeo (1986)
a service of Schloss Dagstuhl - Leibniz Center for Informatics