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.