A theory of properties
From MaRDI portal
Publication:3765745
DOI10.2307/2274394zbMath0629.03007OpenAlexW1982339894MaRDI 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
Theorem proving for intensional logic, 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
Cites Work