A theory and its metatheory in FS0 (1994)

by S Matthews
Venue:What is a Logical System