Modal analysis of generalized rosser sentences (1983)

by V Svejdar
Venue:The Journal of Symbolic Logic