You're using an ancient browser to surf the modern web. Please update to the latest version (and don't use Internet Explorer!).

Leonardi.DB

a logical geometry project

The "conditionatim"-clause: one of the problems of existential import in the history of logic (1977)