|
Author:
Norman D. Megill
This applet lets you build simple mathematical proofs from axioms in logic and set theory.
Type: Simulation
Date Added: Jul 21, 1997
Date Modified: May 12, 2008
|
|
|
|
Author:
Kannan Nambiar
A weblog in which issues of metamathematics are discussed.
Type: Reference Material
Date Added: Jun 22, 2005
Date Modified: Jun 22, 2005
|
|
|
|
Author:
Maurici Carbó
Obblog2Logic construction toybox. To explain binary logic, and truth tables. Binary logic simulator. It...
Type: Simulation
Date Added: Dec 01, 2001
Date Modified: Mar 18, 2013
|
|
|
|
Author:
Dave Witte Morris
This is a free, online textbook. According to the author, "This free undergraduate textbook provides an...
Type: Open Textbook
Date Added: Apr 26, 2010
Date Modified: Apr 26, 2010
|
|
|
|
Author:
Kannan Nambiar
An axiomatic theory called Real Set Theory is defined in which Generalized Continuum Hypothesis and Axiom...
Type: Reference Material
Date Added: Jun 25, 2001
Date Modified: Apr 14, 2010
|
|
|
|
Author:
Unknown
This is full of riddles for logic and analytical skills. Fun and educational!
Type: Drill and Practice
Date Added: Jul 17, 2005
Date Modified: Jun 20, 2008
|
|
|
|
Author:
Kannan Nambiar
Godel has proved that there are formulas in Elementary Arithmetic, which will introduce contradictions,...
Type: Reference Material
Date Added: Jun 25, 2001
Date Modified: Apr 14, 2010
|
|
|
|
Author:
Kannan Nambiar
The mathematical universe discussed here gives models of possible structures our physical universe can...
Type: Reference Material
Date Added: Jul 31, 2002
Date Modified: Jul 31, 2002
|
|
|
|
Author:
Kannan Nambiar
The mathematical universe discussed here gives models of possible structures our physical universe can...
Type: Presentation
Date Added: Nov 01, 2003
Date Modified: Dec 19, 2005
|
|
|
|
Author:
Peter Williams
This page generates random truth table problems involving two simple statements P and Q. The user enters...
Type: Simulation
Date Added: Nov 07, 2007
Date Modified: Nov 07, 2007
|
|
|
 |
Results page 3 of 3
Prev
1
2
3
|
|
|
|
