Daniel Richardson : Logic, Language, Formalism, Informalism

Daniel Richardsonin teos perehdyttää loogisen ajattelun, kielen ja formalisoinnin keskeisiin kysymyksiin tietojenkäsittelytieteen ja matematiikan näkökulmasta. Kirja selittää todistamisen ja päättelyn perusteet selkeästi sekä rohkaisee kriittiseen ajatteluun formalisoinnin rajoja pohtien.

Suitable for: Tietojenkäsittelytieteen opiskelijoille ja kielitieteen harrastajille.