references in English, Propositional Logic
Propositional logic in other texts. The notation may not follow exactly the one we are using.
[JH_GUIDE] 61-70
[GP_MDSCS] 9-48 (also 54-56)
[WBOOK] Discrete Mathematics/Logic also Logic Page 2, up to, not including, Predicate logic
[VK_DSLN] 11-13, also 37-42 (interplay with predicate logic)
[RP_CDS] 95-104
The bracket expressions refer to References in English main page.
Последна промена: среда, 3 октомври 2018, 17:41