On the formalization of semantic conventions. Draft version (1988)

by J G Williams
Venue:Journal of Symbolic logic