Lógica simbólica
Tipo de material:
TextoEditor: Madrid Tecnos 1995Edición: 3a edDescripción: 502 páginasISBN: - 84-309-2604-6
- Lenguaje Formal
- Garrido, Manuel
- Enunciados
- Deduccion
- Consecuencia
- Conectores
- Calculo
- Tautologias
- Estrategias
- Tablas Semanticas
- Regla Derivada
- Predicados
- Cuantificadores
- Modelos
- Leyes
- Silogistica
- Relaciones
- Logica
- Identidad
- Descripciones
- Axiomas
- Metodo Axiomatico
- Sistemas Axiomaticos
- Metalogica
- Automatizacion
- Razonamiento
- Maquinas de Turing
- Metodos Booleanos
- Conocimiento
- Matematicas
- Historia
| Tipo de ítem | Biblioteca actual | Signatura topográfica | Estado | Código de barras | |
|---|---|---|---|---|---|
| Libro | Biblioteca del Instituto de Filosofía Colección general | 164 GAR ej.1 | Préstamo en sala | 42.12-001201 | |
| Libro | Biblioteca del Instituto de Filosofía Colección general | 164 GAR ej.2 | Disponible | 42.12-001240 |