Propositional logic in other texts. The notation may not follow exactly the one we are using.  

[JH_GUIDE] 61-68

[GP_MDSCS] 9-47

[WBOOK] Discrete Mathematics/Logic, Logic Page 2 (up to Predicate Logic, excluded)

[VK_DSLN] 37-42, 11-13

[RP_CDS] 95-104

[KB_DMCSS] 83-95, 108-115


The bracket expressions refer to References in English main page.

Последнее изменение: понедельник, 19 октября 2015, 15:23