The following pages link to (Q5781758):
Displaying 3 items.
- New directions for nominalist philosophers of mathematics (Q625702) (← links)
- Challenging epistemology: Interactive proofs and zero knowledge (Q959048) (← links)
- Generalisations, examples, and counter-examples in analysis and optimisation. \textit{In honour of Michel Théra at 70} (Q1679584) (← links)