and forth through intinitary logic, in “Studies in Model Theory (1973)

by J BARWISE, Back
Venue:Studies in Mathematics