A theory of properties
From MaRDI portal
Publication:3765745
DOI10.2307/2274394zbMath0629.03007MaRDI QIDQ3765745
Publication date: 1987
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2274394
Related Items
A logic of abstraction related to finite constructive number classes, Nominalization, predication and type containment, Property theory: The type-free approach \(v\). The Church approach, Theorem proving for intensional logic
Cites Work