PRODUCTS
PURCHASE
FOR USERS
COMPANY
OUR SITES
Mathematics
>
Foundations of Mathematics
>
Set Theory
ITEMS
7
items are in this category. Listing
all
items:
Counting Non-Isomorphic Relations
Implementing finite structures in
Mathematica
via a skeletal topos of finite sets
Mathematica
One-Liners
Mathematica
One-Liners
The
Mathematica
Programmer: Fast Computation of Equivalence Classes
Packages for Logic and Set Theory
Reasoning About Iteration in Gödel's Class Theory
© 2008 Wolfram Research, Inc.
•
Terms of Use
•
Privacy Policy
Sign up for our newsletter:
