(4 intermediate revisions by one other user not shown)
Line 9: Line 9:
 
<h2>
 
<h2>
 
Topics
 
Topics
 +
</h2>
 +
 +
<ol>
 +
<li>[[Independence_of_Axioms_of_Propositional_Logic|Independence of Axioms of Propositional Logic]]</li>
 +
</ol>
 +
 +
<h2>
 +
To be sorted
 
</h2>
 
</h2>
  
Line 14: Line 22:
 
<li>[[First Order Logic|First_Order_Logic]]</li>
 
<li>[[First Order Logic|First_Order_Logic]]</li>
 
<li>[[Axiomatic Set Theory|Axiomatic_Set_Theory]]</li>
 
<li>[[Axiomatic Set Theory|Axiomatic_Set_Theory]]</li>
<li>Analysis</li>
+
<li>[[Equivalences of Well-ordered Relation|Equivalences of Well-ordered Relation]]</li>
 
</ol>
 
</ol>
  
<p>1. [[First Order Logic|First_Order_Logic]]</p>
 
<p>2. [[Axiomatic Set Theory|Axiomatic_Set_Theory]]</p>
 
 
----
 
----
*Hi Chenkai! Is there a page somewhere where we can talk to you? How about [[User_talk:Wang1287|this one]]? -pm
 

Latest revision as of 06: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

BSEE 2004, current Ph.D. student researching signal and image processing.

Landis Huffman