Logic, meaning and negative translation
First-year master’s thesis, Université Paris 1 Panthéon-Sorbonne, 2016
Ian Shillito
he/him
Logician formalising in Rocq
- Melbourne, Australia
- University of Melbourne
- Google Scholar
- ORCID
- GitHub
First-year master’s thesis, Université Paris 1 Panthéon-Sorbonne, 2016