IIntroduction to mathematical logicIntroduction to mathematical logicde Alonzo ChurchMateriasSymbolic and mathematical LogicEdiciones (1)Introduction to mathematical logic (1964)Princeton University Press · inglésMá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)
