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