| dc.contributor.author | Macmillan, Warrick | |
| dc.date.accessioned | 2023-01-24T15:06:32Z | |
| dc.date.available | 2023-01-24T15:06:32Z | |
| dc.identifier.uri | https://hdl.handle.net/2077/74649 | |
| dc.language.iso | eng | en_US |
| dc.subject | The Language of Mathematics, Type Theory, Grammatical Framework | en_US |
| dc.title | ON THE GRAMMAR OF PROOF | en_US |
| dc.type | Text | |
| dc.setspec.uppsok | HumanitiesTheology | |
| dc.type.uppsok | H2 | |
| dc.contributor.department | University of Gothenburg / Department of Philosophy,Lingustics and Theory of Science | eng |
| dc.contributor.department | Göteborgs universitet / Institutionen för filosofi, lingvistik och vetenskapsteori | swe |
| dc.type.degree | Student essay | |
