Introduction to mathematical logic

by Church, Alonzo
Published 1956

Introduction to mathematical logic /

by Church, Alonzo n. 1903, Church, Alonzo n. 1903
Published 1956

The Calculi of lambda-conversion

by Church, Alonzo n. 1903, Church, Alonzo n. 1903
Published 1941

The problem of universals /

by Bochénski, Innocentius M. n. 1902, Bochénski, Innocentius M. n. 1902, Church, Alonzo n. 1903, Goodman, Nelson 1906-1998
Published 1956