History of Symbolic logic

	Revision 15 . . November 4, 2001 3:24 am by AxelBoldt
	Revision 14 . . November 3, 2001 5:10 am by (logged).21.196.xxx [substituted "acceptable" for "valid" to describe all wffs; added brief description of natural deduction]
	Revision 13 . . October 16, 2001 2:58 pm by AxelBoldt [Integrated Goedel's theorems into the text]
	Revision 12 . . October 16, 2001 5:35 am by Anatoly Vorobey [/Talk]
	Revision 11 . . (edit) September 27, 2001 3:32 am by Justin Johnson [Added links, and changed "calculus" to "logic" in "propositional calculus"]

---

Difference (from prior major revision) (no other diffs)
No diff available.