consistency statements, and interpretations (1985)

by Cuts
Venue:Journal of Symbolic Logic