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

Quantification of the predicate and many-sorted logic (1966)

Author: Parry, William T.
Journal: Philosophy and Phenomenological Research, vol. 26, issue 3, pp. 342–360
Language: English
Alternative url: https://www.jstor.org/stable/2106254