Alonzo Church. Introduction to mathematical logic. Volume I. Princeton mathematical series, no. 17. Princeton University Press, Princeton1956, x + 376 pp.

An abstract is not available for this content so a preview has been provided. Please use the Get access link above for information on how to access this content.