Arithmetic analogues of McAloon's unique Rosser sentences
DSpace/Manakin Repository
Arithmetic analogues of McAloon's unique Rosser sentences
(1988) Logic Group Preprint Series, volume 36
(Preprint)
Download/Full Text
See more statistics about this item