This preview has intentionally blurred sections. Sign up to view the full version.
View Full DocumentThis preview has intentionally blurred sections. Sign up to view the full version.
View Full DocumentThis preview has intentionally blurred sections. Sign up to view the full version.
View Full Document Fall '09
 Yeelee
 Logic, Axiom, Modus ponens, x=, Formal systems, Axiomatic system

Click to edit the document details