12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Sunday April 20, 2025
Jump to navigationJump to search→Resources: cleanup
Line 523:
Line 523:
==Resources==
==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==
==Syllabus==
