Content deleted Content added
AndrewHowse (talk | contribs) |
→References: CFD 2009 May 25, replaced: Category:Sentential logic → Category:Propositional logic using AWB |
||
Line 24:
*Smullyan, Raymond M. ''First-Order Logic''. 1968. Dover edition, 1995. Chapter 1.1: Formulas of Propositional Logic.
[[Category:
|