Nantilus
Logics of time and computation
Enregistré dans:
| Auteur principal : | |
|---|---|
| Format : | Livre |
| Langue : | anglais |
| Titre complet : | Logics of time and computation / Robert Goldblatt |
| Édition : | 2nd ed., rev. and expanded. |
| Publié : |
Stanford, CA :
Center for the Study of Language and Information
, cop. 1992 |
| Description matérielle : | 1 vol. (IX-180 p.) |
| Collection : | CSLI lecture notes ; 7 |
| Sujets : |
BU Censive
| | Cote | Prêt | Statut |
|---|---|---|---|
| Bât. Censive, 1er étage, salle 111 | L 13210 | Empruntable | Disponible |