| Original language | English |
|---|---|
| Title of host publication | Essays in Honour of Alan Weir |
| Publisher | Springer |
| Publication status | Accepted/In press - 2023 |
Informal Proof, Formal Proof, Formalism, and Fictionalism
Research output: Chapter in Book/Report/Conference proceeding › Chapter