An Equational Re-Engineering of Set Theories (1998)

Cached

Download Links

by Andrea Formisano , Eugenio Omodeo
Venue:Automated Deduction in Classical and Non-Classical Logics, LNCS 1761 (LNAI
Citations:6 - 6 self