Church, Alonzo, 1903-1995,

Introduction to mathematical logic. - volúmenes - Princeton mathematical series ; 17 .


Lógica simbólica y matemática

BC135 / C42