Mathematics
>
Foundations of Mathematics
>
Logic
ITEMS
8
items are in this category. Listing
all
items:
Boolean Expression Manipulation
Combinatorial Ornithology
Formal Proofs in Axiomatic Set Theory
Fuzzy Set Functions
Logic Programming
Packages for Logic and Set Theory
Pattern logic operations
Proof of Robbins' Conjecture
© 2008 Wolfram Research, Inc.
•
Terms of Use
•
Privacy Policy
Sign up for our newsletter:
