scientific article
From MaRDI portal
Publication:3753978
zbMath0613.01018MaRDI QIDQ3753978
Saunders Mac Lane, Samuel Eilenberg
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Collected or selected works; reprintings or translations of classics (01A75) History of algebraic topology (55-03) History of category theory (18-03) History of group theory (20-03)
Related Items
Self-reference and incompleteness in a non-monotonic setting ⋮ Top-down and bottom-up philosophy of mathematics ⋮ Negative translations not intuitionistically equivalent to the usual ones ⋮ Carnap's early metatheory: scope and limits ⋮ An intuitionistic characterization of classical logic ⋮ Conceptual Confluence in 1936: Post and Turing ⋮ Alan Turing and the Foundation of Computer Science ⋮ Is mathematics problem solving or theorem proving? ⋮ Intuition and visualization in mathematical problem solving