The following pages link to (Q3651066):
Displaying 5 items.
- In memoriam: Ivor Grattan-Guinness (June 23, 1941 -- December 12, 2014). (Q891752) (← links)
- Toward a visual proof system: Lewis Carroll's method of trees (Q1942098) (← links)
- Omnipresence, multipresence and ubiquity: kinds of generality in and around mathematics and logics (Q1942335) (← links)
- Mathematics Ho! Which modern mathematics was modernist? (Q2268032) (← links)
- Logic diagrams, sacred geometry and neural networks (Q2297964) (← links)