(6 intermediate revisions by 2 users not shown)
Line 1: Line 1:
<h1>Chenkai Wang</h1>
+
<h1>
 +
Chenkai Wang
 +
</h1>
  
<p>Welcome to my RHEA page! Feel free to browse and ask!</p>
+
<p>
 +
Welcome to my RHEA page! Feel free to browse and ask!
 +
</p>
  
<h2>Topics</h2>
+
<h2>
 +
Topics
 +
</h2>
  
<p>1. [[First Order Logic|First_Order_Logic]]</p>
+
<ol>
<p>2. [[Axiomatic Set Theory|Axiomatic_Set_Theory]]</p>
+
<li>[[Independence_of_Axioms_of_Propositional_Logic|Independence of Axioms of Propositional Logic]]</li>
 +
</ol>
 +
 
 +
<h2>
 +
To be sorted
 +
</h2>
 +
 
 +
<ol>
 +
<li>[[First Order Logic|First_Order_Logic]]</li>
 +
<li>[[Axiomatic Set Theory|Axiomatic_Set_Theory]]</li>
 +
<li>[[Equivalences of Well-ordered Relation|Equivalences of Well-ordered Relation]]</li>
 +
</ol>
 +
 
 +
----

Latest revision as of 07:03, 5 September 2013

Chenkai Wang

Welcome to my RHEA page! Feel free to browse and ask!

Topics

  1. Independence of Axioms of Propositional Logic

To be sorted

  1. First_Order_Logic
  2. Axiomatic_Set_Theory
  3. Equivalences of Well-ordered Relation

Alumni Liaison

Correspondence Chess Grandmaster and Purdue Alumni

Prof. Dan Fleetwood