| Título: | Lógica de primer orden |
| Autores: | Jesús Mosterín |
| Tipo de documento: | texto impreso |
| Editorial: | Barcelona : Ariel, 1983 |
| Colección: | Colección Ariel |
| ISBN/ISSN/DL: | 84-344-1003-6 |
| Dimensiones: | 140 p. / 23 cm. |
| Langues: | Español |
| Clasificación: | 164 (Logística. Lógica simbólica. Lógica matemática. Cálculo lógico ) |
| Materias: | Deducción | Filosofía | Lógica matemática | Lógica simbólica | Razonamiento | Semántica | Sintaxis |
| Nota de contenido: | Introducción; 1. Sintaxis: Gramática de los formalismos; 2. Sintaxis: Un cálculo deductivo; 3. Semántica. |
Ejemplares (1)
| Pedir por | Ubicación | Estado |
|---|---|---|
| 164 M915 | Biblioteca Central | Disponible |
