Church, Alonzo, 1903-1995, Introduction to mathematical logic. - volúmenes - Princeton mathematical series ; 17 . Subjects--Topical Terms: Lógica simbólica y matemática LC Class. No.: BC135 / C42