A Calculus of Individuals Based on “Connection (1981)

by B L Clarke
Venue:Notre Dame Journal of Formal Logic