Acceptable notation. Notre Dame (1982)

by S Shapiro
Venue:Journal of Formal Logic