Benedikt Löwe & Andrea Sorbi ym. : New Computational Paradigms - Changing Conceptions of What is Computable

Benedikt Löwe, Andrea Sorbi ja S.B. Cooper tarkastelevat laskennan uusia paradigmoja, jotka haastavat perinteiset käsitykset laskettavuudesta matematiikan, logiikan ja luonnontieteiden näkökulmasta.

Kenelle: Kirja sopii erityisesti matematiikasta, filosofiasta ja tietojenkäsittelytieteestä kiinnostuneille jatko-opiskelijoille ja tutkijoille, joilla on kiinnostusta logiikkaan ja perustavanlaatuisiin kysymyksiin.