Introduction To Mathematical Logic. - Church, Alonzo; Church, Alonzo (Univ. Press Princeton, 1956)
Keywords: B:R1