Lógica clásica de primer orden : estrategias de deducción, formalización y evaluación semántica / José L. Falguera López, Concepción Martínez Vidal.
Tipo de material:
TextoSeries: Estructuras y procesos. FilosofíaDetalles de publicación: Madrid : Trotta, [1999]Descripción: 2 v ; 23 cm + 1 tabla de reglas lógicasISBN: - 84-8164-291-6
Contenidos:
t. 1. [Sin título] t. 2. Soluciones a los ejercicios
| Cover image | Item type | Current library | Home library | Collection | Shelving location | Call number | Materials specified | Vol info | URL | Copy number | Status | Notes | Date due | Barcode | Item holds | Item hold queue priority | Course reserves | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Libro impreso | Biblioteca del Ateneo de Madrid Depósito 2 | L-26711 (Browse shelf(Opens below)) | Available | 1056654 |
t. 1. [Sin título] t. 2. Soluciones a los ejercicios
There are no comments on this title.
Log in to your account to post a comment.
