Wolfram Research  Mathematica    MathWorld    Wolfram Science    More »    Wolfram Web Resources
HOME
TOPICS
LATEST
ABOUT
FAQS
PARTICIPATE
AUTHORING AREA
Foundations of Mathematics
Demonstrations 1 - 20 of 32
Propositional Logic TestLewis Carroll's Diagram and Categorical SyllogismsHasse Diagram of Power SetsAnother Knights and Knaves Puzzle Generator
Propositional Logic TestLewis Carroll's Diagram and Categorical Syllogisms
Made for Mathematica 7
Hasse Diagram of Power SetsAnother Knights and Knaves Puzzle Generator
Deaf Island Puzzle GeneratorPropositional Logic Puzzle GeneratorBochvar's Three-Valued LogicLukasiewicz's Three-Valued Logic
Deaf Island Puzzle GeneratorPropositional Logic Puzzle GeneratorBochvar's Three-Valued LogicLukasiewicz's Three-Valued Logic
Cayley Tables for Small Groups and Moufang LoopsAlgebraic Loops (1); PropertiesFinite Field TablesVenn Diagrams for Two Sets
Cayley Tables for Small Groups and Moufang LoopsAlgebraic Loops (1); Properties
Made for Mathematica 7
Finite Field Tables
Made for Mathematica 7
Venn Diagrams for Two Sets
Number Theory TablesGoodstein Function in Terms of Fast-Growing Function HierarchiesArithmetic in Lambda CalculusProofs in Multiway Systems
Number Theory TablesGoodstein Function in Terms of Fast-Growing Function HierarchiesArithmetic in Lambda CalculusProofs in Multiway Systems
Binary Operators Satisfying Two AxiomsGödelizationBoolean AlgebraPlots of Compositions of Bitwise Operations
Binary Operators Satisfying Two AxiomsGödelizationBoolean AlgebraPlots of Compositions of Bitwise Operations

1|2|Next
Powered by Wolfram Mathematica
Give us your feedback
Give us your feedback

Source page:




 often  occasionally  never

Note: Please do not include anything you consider confidential or proprietary. Your message and contact information may be shared with the author of any specific Demonstration for which you give feedback, but will not otherwise be published or distributed.
Privacy Policy »