Logiikka, matematiikka ja tietokone : perusteet: historiaa, filosofiaa ja sovelluksia = Logic, mathematics and the computer : foundations: history, philosophy and applications

Logiikka ja matematiikka ovat luoneet perustan tietokoneiden synnylle ja kehitykselle, ja niiden rooli on muuttunut laskennallisen paradigman myötä, jossa tietokoneesta on tullut keskeinen tutkimusväline tieteen eri aloilla. Tämä teos kokoaa yhteen esitelmiä, jotka tarkastelevat logiikan, matematiikan ja tietotekniikan historiaa, filosofiaa, ajankohtaisia kehityssuuntia ja sovelluksia.