references in English, Induction

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

[JH_GUIDE] 21,22

[GP_MDSCS] 212, 222-224

[WBOOK] none applies

[VK_DSLN] 5-9

[RP_CDS] 17-25

[KB_DMCSS] 117-127

The bracket expressions refer to References in English main page.