![]() |
![]() |
Area della Ricerca di Padova
|
Item type | Location | Call Number | Copy | Status | Date Due |
---|---|---|---|---|---|
Books | Istituto di Ingegneria Biomedica | BC71.G75L (Browse Shelf) | 1 | Available |
Contents. I. Intensional logic. 1. Intensional logic. 2. Alternative formulkations of IL. II. Higher-order modal logic. 3. Higher-order modal logic. 4. Algebraic semantics.
There are no comments for this item.