references in English, Predicate Logic

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

The bracket expressions refer to References in English main page.