Search All of the Math Forum:
Views expressed in these public forums are not endorsed by
Drexel University or The Math Forum.
|
|
|
User Profile: d_@_cproof.com
|
 |
|
|
User Profile for: d_@_cproof.com
|
|
UserID:
|
407378
|
|
Name:
|
Dan Christensen
|
|
Email:
|
|
|
Registered:
|
4/13/07
|
|
Total Posts:
|
86
|
|
Recent Messages
|
Discussion
|
Posted
|
|
1
|
Re: PREDICATE CALCULUS 2
|
sci.math.independent
|
Nov 27, 2012 6:45 PM
|
|
2
|
Re: PREDICATE CALCULUS 2
|
sci.math.independent
|
Nov 27, 2012 6:42 PM
|
|
3
|
Re: PREDICATE CALCULUS 2
|
sci.math.independent
|
Nov 27, 2012 5:41 PM
|
|
4
|
Re: PREDICATE CALCULUS 2
|
sci.math.independent
|
Nov 27, 2012 9:38 AM
|
|
5
|
Re: A Proposed Formal Definition of Class and Category in DC Proof
|
sci.math.independent
|
Oct 10, 2012 4:56 PM
|
|
6
|
Re: The Liar Paradox:Beyond Truth and Falsehood
|
sci.math.independent
|
Oct 1, 2012 9:51 AM
|
|
7
|
Re: The Liar Paradox in FOL
|
sci.math.independent
|
Sep 9, 2012 11:55 AM
|
|
8
|
Re: The Original Lair Paradox: A Formal Resolution in First-Order Logic
|
sci.math.independent
|
Sep 9, 2012 11:04 AM
|
|
9
|
Re: The Original Lair Paradox: A Formal Resolution in First-Order Logic
|
sci.math.independent
|
Sep 9, 2012 10:50 AM
|
|
10
|
Please disregard
|
sci.math.independent
|
Jun 20, 2012 7:04 PM
|
Show all user messages
|
|
