Instantial Logic: An Investigation into Reasoning with Instances (1995)

by W Meyer-Viol
Venue:ILLC Dissertation Series 1995-11. ILLC