Items where authors include "Button, Tim"
![[up]](/style/images/multi_up.png)
Up a levelJump to: Article
Number of items: 1.
Article
Trueman, Rob orcid.org/0000-0002-2908-7985 and Button, Tim (2021) Against Cumulative Type Theory. The Review of Symbolic Logic. ISSN 1755-0211
Trueman, Rob orcid.org/0000-0002-2908-7985 and Button, Tim (2021) Against Cumulative Type Theory. The Review of Symbolic Logic. ISSN 1755-0211