Vista normal
Vista MARC
Metalógica : introducción a la metateoría de la lógica clásica de primer orden / Geoffrey Hunter
Tipo de material:![Texto](/opac-tmpl/lib/famfamfam/BK.png)
- 84-283-1102-1
- BC 135 H818
Tipo de ítem | Biblioteca actual | Colección | Signatura topográfica | Copia número | Estado | Notas | Fecha de vencimiento | Código de barras | |
---|---|---|---|---|---|---|---|---|---|
Libros | Biblioteca Francisco Xavier Clavigero Acervo | Acervo General | BC 135 H818 (Navegar estantería(Abre debajo)) | ej. 1 | Disponible | 159976 |
Incluye índice.
Traducción de Metalogic : an introduction to the metatheory of standar first order logic.
Referencias: p. 293-304