Pontificia Università Lateranense
Catalogo della biblioteca
Modal logic / Patrick Blackburn, Maarten de Rijke, Yde Venema
Blackburn, Patrick (Visualizza in formato Marc21) Record Nr.: 148056 Pubblicazione: Cambridge : Cambridge University Press, 2001 Descrizione fisica: xxii, 554 p. : formulari ; 23 cm. Titolo uniforme di collana: Cambridge tracts in theoretical computer science ; 53. Nota di bibliografia: Include riferimenti bibliografici ed indice. Soggetto topico: Logica matematica Classificazione Decimale Dewey: 511.3 ISBN: 0521802008* Livello bibliografico Monografia Formato: Materiale a stampa Lingua di pubblicazione: Inglese Altri autori: Rijke, Maarten de. Venema, Yde.
| Sezione | Collezione | Collocazione | Posseduto | Barcode | Inventario | Stato | Note di copia | Circolazione | ||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Pontificia Università Lateranense | ||||||||||||||
| PULBib | SL Cons. Gen., Altre Classi |
DDC 21 |
511. 3 BLAPA 1 |
4. rist. del 2010 |
171884 | 126705 |
Disponibile
|
|||||||