Church, Alonzo

Introduction To Mathematical Logic. - Princeton, Univ. Press 1956 - ix,378P


B:R1

B:R1 / I6.1