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

[JH_GUIDE] 71-72

[GP_MDSCS] 57-66

[WBOOK] Discrete Mathematics/Logic, Logic Page 2, Predicate logic

[VK_DSLN] 37-42 (interplay with propositional logic)

[RP_CDS] 105-108

[KB_DMCSS] 96-107


The bracket expressions refer to References in English main page.

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