Algebra : sets, symbols & the language of thought vol-1 - Tabak, John (new delhi VBPL, 2006)