A. S. Troelstra : Lectures on linear logic
€18.00
In stock
Only %1 left
SKU
P-LECT-085813
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.
Suitable for: Logiikan ja tietojenkäsittelytieteen opiskelijoille sekä tutkijoille.
| Categories | |
|---|---|
| Author | A. S. Troelstra |
| Title | Lectures on linear logic |
| SKU | P-LECT-085813 |
| Keywords | Logic, Symbolic and mathematical |