Changes

Propositional calculus (view source)

Revision as of 14:36, 7 April 2010

87 bytes removed , 14:36, 7 April 2010

Line 523: Line 523:

==Resources==

−

* ~~[[Kevin C. Klement|~~Klement, Kevin C.]] (2006), "Propositional Logic", in James Fieser and Bradley Dowden (eds.), ''[[Internet Encyclopedia of Philosophy]]'', [http://www.iep.utm.edu/p/prop-log.htm ~~Eprint~~].

+

* Klement, Kevin C. (2006), "Propositional Logic", in James Fieser and Bradley Dowden (eds.), ''Internet Encyclopedia of Philosophy''. [http://www.iep.utm.edu/p/prop-log.htm Online].

−

* [http://www.~~ltn~~.lv/~~~podnieks~~/~~mlog/ml2.htm~~ Introduction to ~~Mathematical~~ Logic]

+

* Magnus, P.D. ''[http://www.fecundity.com/logic/ Forall x : An Introduction to Formal Logic]''.

−

* [http://www.visualstatistics.net/Scaling/Propositional%20Calculus/Elements%20of%20Propositional%20Calculus.htm Elements of Propositional Calculus]

+

* [http://www.visualstatistics.net/Scaling/Propositional%20Calculus/Elements%20of%20Propositional%20Calculus.htm Elements of Propositional Calculus].

−

* ''[http://www.~~fecundity~~.~~com~~/~~logic~~/ ~~forall x: an introduction~~ to ~~formal logic~~]~~'', by P.D. Magnus, covers formal semantics and proof theory for sentential logic~~.

+

* [http://www.ltn.lv/~podnieks/mlog/ml2.htm Introduction to Mathematical Logic].

==Syllabus==

Jon Awbrey

12,080

edits