Home
Esportazione
Statistica
Opzioni
Visualizza tutti i metadati (visione tecnica)
An equational re-engineering of set theories
Formisano A.
•
Omodeo E.
2000
conference object
WOS
WOS:000166990600012
Archivio
http://hdl.handle.net/11390/1193573
https://doi.org/10.1007/3-540-46508-1_12
info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84867828544
Diritti
metadata only access
Soggetti
Algebraic logic
First-order theorem-p...
Relation algebra
Set theory
Visualizzazioni
5
Data di acquisizione
Apr 19, 2024
Vedi dettagli
google-scholar
Vedi dettagli