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

by J Barkley Rosser
Venue:Church, Journal of Symbolic Logic