On language with two variables, Zeit. f ur (1975)

by M Mortimer
Venue:Math. Logik und Grund. der Math