Modal Analysis of Generalized Rosser Sentences (1983)

by V Svejdar
Venue:Journal of Symbolic Logic