Line 6: Line 6:
  
 
<p>
 
<p>
−
 
+
Mathematics is all about logic.
 
</p>
 
</p>
  

Revision as of 08:17, 11 October 2012

First Order Logic

Chenkai Wang

0. Introduction

Mathematics is all about logic.

1. The Language

2. Some Useful Metatheorems

Retrieved from "https://www.projectrhea.org/rhea/index.php?title=First_Order_Logic&oldid=52416"
Shortcuts
Help Main Wiki Page Random Page Special Pages Log in
Search

Alumni Liaison

ECE462 Survivor

Seraj Dosenbach