Publication:5311057

From MaRDI portal
Revision as of 23:17, 8 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)


zbMath1081.03019MaRDI QIDQ5311057

Pierre Ageron

Publication date: 22 August 2005


zbMATH Keywords

taxonomy; law of identity; self-deductibility


Mathematics Subject Classification ID

03B60: Other nonclassical logic

03G30: Categorical logic, topoi

03B22: Abstract deductive systems

18A15: Foundations, relations to logic and deductive systems


Related Items

Unnamed Item



Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5311057&oldid=19983795"
Powered by MediaWiki