references in English, Predicate logic
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 10월 2015, 3:17 PM