Browsing Dept. of Computer Engineering - Engineer's degree by Keywords "Solving Equations"
Now showing items 1-1 of 1
(Bilkent University, 1993)Hyperset Theory (a.k.a. ZFC~/AFA) of Peter Aczel is an enrichment of the classical ZFC set theory and uses a graphical representation for sets. By allowing non-well-founded sets, the theory provides an appropriate ...