Colin Howson : Logic with trees : an introduction to symbolic logic

Colin Howsonin Logic with trees on selkeä johdatus moderniin formaaliin logiikkaan. Teos lähestyy symbolista logiikkaa totuuspuiden eli semanttisten taulujen avulla ja yhdistää teorian, esimerkit sekä harjoitukset.

Kenelle: Sopii filosofian, matematiikan ja tietojenkäsittelytieteen opiskelijoille sekä formaaleihin menetelmiin tutustuville.