Pages that link to "Item:Q3753978"
From MaRDI portal
The following pages link to Eilenberg-MacLane: Collected works (Q3753978):
Displaying 13 items.
- Top-down and bottom-up philosophy of mathematics (Q360438) (← links)
- Negative translations not intuitionistically equivalent to the usual ones (Q361872) (← links)
- An intuitionistic characterization of classical logic (Q939055) (← links)
- Intuition and visualization in mathematical problem solving (Q989743) (← links)
- Self-reference and incompleteness in a non-monotonic setting (Q1332147) (← links)
- Carnap's early metatheory: scope and limits (Q1708750) (← links)
- Samuel Eilenberg's work in category theory (Q1923794) (← links)
- Is mathematics problem solving or theorem proving? (Q2013412) (← links)
- Edmund Landau: Collected Works (Q3827981) (← links)
- (Q3995303) (← links)
- Hugh maccoll: eine bibliographische erschließung seiner hauptwerke und notizen zu ihrer rezeptionsgeschichte (Q4391330) (← links)
- Conceptual Confluence in 1936: Post and Turing (Q4637215) (← links)
- Alan Turing and the Foundation of Computer Science (Q4637224) (← links)