Drexel dragonThe Math ForumDonate to the Math Forum



Search All of the Math Forum:

Views expressed in these public forums are not endorsed by Drexel University or The Math Forum.


Math Forum » Discussions » d_@_cproof.com

Advanced Search

 
Most relevant results by forum
 
Results: 30
Pages: 2 [ 1 2 | Next ]  
 
Results from sci.math.independent
Show all results within this discussion.

1) Re: PREDICATE CALCULUS 2
Posted: Nov 27, 2012 6:45 PM, by: Dan Christensen

Show all results within this topic.

100%
2) Re: A Proposed Formal Definition of Class and Category in DC Proof
Posted: Oct 10, 2012 4:56 PM, by: Dan Christensen

Show all results within this topic.

100%
3) Re: The Liar Paradox:Beyond Truth and Falsehood
Posted: Oct 1, 2012 9:51 AM, by: Dan Christensen

Show all results within this topic.

100%
4) Re: The Liar Paradox in FOL
Posted: Sep 9, 2012 11:55 AM, by: Dan Christensen

Show all results within this topic.

100%
5) Re: The Original Lair Paradox: A Formal Resolution in First-Order Logic
Posted: Sep 9, 2012 11:04 AM, by: Dan Christensen

Show all results within this topic.

100%
6) Please disregard
Posted: Jun 20, 2012 7:04 PM, by: Dan Christensen

Show all results within this topic.

100%
7) Re: Some observations on the Peano's Axioms
Posted: Jun 11, 2012 1:09 PM, by: Dan Christensen

Show all results within this topic.

100%
8) Re: Peano Arithmetic complete and decidable?
Posted: Jun 6, 2012 8:34 AM, by: Dan Christensen

Show all results within this topic.

100%
9) Re: Peano Arithmetic complete and decidable?
Posted: Jun 6, 2012 7:57 AM, by: Dan Christensen

Show all results within this topic.

100%
10) Peano Arithmetic complete and decidable?
Posted: Jun 4, 2012 4:37 AM, by: Dan Christensen

Show all results within this topic.

100%
11) Re: 0^0=1
Posted: May 9, 2012 10:35 AM, by: Dan Christensen

Show all results within this topic.

100%
12) Re: 0^0=1
Posted: May 4, 2012 10:48 AM, by: Dan Christensen

Show all results within this topic.

100%
13) Re: Eliminating Quantifiers For Dummies! A(x) E(y) ALL(t)EXIST(u)EaAb ..
Posted: Jan 23, 2012 12:12 AM, by: Dan Christensen

Show all results within this topic.

100%


Results from math-teach
Show all results within this discussion.

14) DC Proof 2.0 Freeware Update: Revised and Expanded Tutorial
Posted: Mar 10, 2012 2:39 AM, by: Dan Christensen

Show all results within this topic.

100%


Results from nyshsmath
Show all results within this discussion.

15) DC Proof 2.0 Freeware Update: Revised and Expanded Tutorial
Posted: Mar 10, 2012 2:36 AM, by: Dan Christensen

Show all results within this topic.

100%
Pages: 2 [ 1 2 | Next ]

[Privacy Policy] [Terms of Use]

© Drexel University 1994-2013. All Rights Reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.