Church, Alonzo
Introduction to mathematical logic volume 1 - Princeton Princeton University Press 1956 - 378 - Princeton mathematical series .
B31 J61
510.6 CHU
Introduction to mathematical logic volume 1 - Princeton Princeton University Press 1956 - 378 - Princeton mathematical series .
B31 J61
510.6 CHU