Modal logic / Patrick Blackburn, Maarten de Rijke, Yde Venema.
Material type:
TextSeries: Cambridge tracts in theoretical computer science ; 053Publication details: Cambridge ; New York : Cambridge University Press, 2005.Description: xxii, 554 p. ; 23 cmISBN: - 0521527147
- QA 9.4.B58
| Item type | Current library | Call number | Status | Barcode | |
|---|---|---|---|---|---|
Opera (Magaz.)
|
Biblioteca "Angelicum" Pont. Univ. S.Tommaso d'Aquino Magazzino | QA 9.4.B58 (Browse shelf(Opens below)) | Available | 0030151674 |
Reprinted, c2001.
Bibliografia (p. 524-543) e indice.

