Rosser's 1936 paper "Extensions of Some Theorems of Gödel and Church"

GPTKB entity