[Lecture Notes in Mathematics] Toposes, Algebraic Geometry and Logic Volume 274 || Deductive systems and categories III. Cartesian closed categories, intuitionist propositional calculus, and combinatory logic

✍ Scribed by Bucur, I.; Giraud, J.; Goodman, N.; Myhill, J.; Illusie, L.; Lambek, J.; Scott, D. S.; Tierney, M.; Lawvere, F. W.

• Book ID: 118049376
• Publisher: Springer Berlin Heidelberg
• Year: 1972
• Weight: 837 KB
• Category: Article
• ISBN: 3540376097
• DOI: 10.1007/bfb0073965