Properties and Propositions

DOI10.1017/9781108886123OpenAlexW4252550788MaRDI QIDQ5134357

Robert Trueman

Publication date: 16 November 2020

Full work available at URL: https://doi.org/10.1017/9781108886123

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Higher-order logic (03B16)

Related Items (1)

AGAINST CUMULATIVE TYPE THEORY

This page was built for publication: Properties and Propositions