Some Extensions of Some Theorems of Gödel and (1936)

by J B Rosser
Venue:Church’, Journal of Symbolic Logic