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 10월 2018, 5:41 PM