IIntroduction to mathematical logicIntroduction to mathematical logicde Alonzo ChurchMateriasSymbolic and mathematical LogicEdiciones (1)Introduction to mathematical logic (1956)Princeton University PressMás obras de Alonzo ChurchAAlternatives to Zermelo's assumption ..Alternatives to Zermelo's assumption ..A bibliography of symbolic logic, 1666-1935The Calculi of Lambda Conversion. (AM-6) (Annals of Mathematics Studies)
