A. S. Troelstra : Lectures on linear logic

A. S. Troelstra esittelee lineaarilogiikan käsitteen ja sen merkityksen resurssiherkkänä logiikkana, jossa keskeistä on tietojen käyttömäärien tarkastelu. Teos käsittelee perusteellisesti lineaarilogiikan formaaleja malleja, logiikkojen upotuksia ja sen yhteyksiä muun muassa kategoriateoriaan ja tietojenkäsittelytieteeseen.

Kenelle: Logiikan ja tietojenkäsittelytieteen opiskelijoille sekä tutkijoille.