Recommendations
Cites work
- scientific article; zbMATH DE number 3910392 (Why is no real title available?)
- scientific article; zbMATH DE number 1254490 (Why is no real title available?)
- scientific article; zbMATH DE number 1344507 (Why is no real title available?)
- scientific article; zbMATH DE number 1344510 (Why is no real title available?)
- scientific article; zbMATH DE number 1764654 (Why is no real title available?)
- scientific article; zbMATH DE number 783772 (Why is no real title available?)
- scientific article; zbMATH DE number 3062110 (Why is no real title available?)
- A formal theory of sortal quantification
- Defining ontological categories in an expansion of belief dynamics
- Realizability and intuitionistic logic
- Treatise on intuitionistic type theory
Cited in
(3)
This page was built for publication: Identity and sortals (and Caesar)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1706776)