---

    matematica     TecaLibri

H. B. Curry:  opere

• 1951  Outlines of a Formalist Philosophy of Mathematics, North Holland, Amsterdam, [rif.]
• 1977  Foundations of Mathematical Logic, Dover, New York, [rif.]

---