"Your body is the instrument upon which your soul is played. Provided, your instrument is in tune and your music well-composed, then your concert hall will always be filled" David R Andrews(2012)
Abbreviations
Ax: axiom CIC: Classical Implicational Calculus CPC: Classical Propositional Calculus Hyp: Hypothesis iff: if and only if MP: modus ponens Sub: substitution Th: Theorem wff: well-formed formula
No comments:
Post a Comment