Zohar Manna : The logical basis for computer programming, Vol. 1 : Deductive reasoning

Zohar Mannan teos tarjoaa selkeän johdatuksen niihin loogisiin peruskäsitteisiin ja -menetelmiin, jotka muodostavat tietokoneohjelmoinnin ytimen. Kirja esittelee deduktiivisen päättelyn merkityksen tietotekniikassa sekä tietojenkäsittelytieteen keskeisillä osa-alueilla.

Kenelle: Aikuiset, jotka ovat kiinnostuneita tietojenkäsittelytieteestä, logiikasta tai ohjelmoinnista.