Vista normal
Vista MARC
Model theory for modal logic : Kripke models for modal predicate calculi / Kenneth A. Bowen
Tipo de material:![Texto](/opac-tmpl/lib/famfamfam/BK.png)
- 90-277-0929-7
- QA 9.46 B68.1979
Tipo de ítem | Biblioteca actual | Colección | Signatura topográfica | Estado | Fecha de vencimiento | Código de barras | |
---|---|---|---|---|---|---|---|
Libros | Biblioteca Francisco Xavier Clavigero Acervo | Acervo General | QA 9.46 B68.1979 (Navegar estantería(Abre debajo)) | Disponible | 187298 |
Incluye bibliografía e índice.