Normal view MARC view ISBD view

511.3
C561     Church, Alonzo

               Introduction to mathematical logic / Alonzo Church; edited by Marston Morse and A. W. Tucker . - Princeton : Princeton University Press,1956 . - V.1 . - Princeton mathematical series .