Church, Alonzo

Introduction to mathematical logic / - New Jersey: Princeton University Press, 1970 - - Princeton Mathematical series, 17 .

511.3 / C561.IM