Introducción a la teoría de la lógica /
Este manual proporciona una introducción rigurosa a los conceptos y resultados fundamentales de la lógica contemporánea. También presenta las herramientas matemáticas, principalmente de la teoría de conjuntos, necesarias para comprender los aspectos técnicos de la disciplina e introduce los métodos...
| Autor principal: | |
|---|---|
| Otros Autores: | |
| Formato: | Libro |
| Lenguaje: | Spanish English |
| Colección: | El libro universitario. Manuales / Filosofía y pensamiento
|
| Materias: |
| LEADER | 02924nam a22003497a 4500 | ||
|---|---|---|---|
| 007 | ta | ||
| 008 | 150213b2002 sp ||||| |||| 00| 0 spa d | ||
| 020 | |a 8420678856 | ||
| 037 | |b Alianza editorial ; Juan Ignacio Luca de Tena, 15. 28027 Madrid ; web www.alianzaeditorial.es | ||
| 040 | |a Sistema Bibliotecario Universidad de El Salvador |b spa |e rda | ||
| 041 | 1 | |a spa |h eng | |
| 082 | 0 | 4 | |a 160 |b Z353i |
| 100 | 1 | 0 | |a Zalabardo, José Luis |e autor |
| 245 | 1 | 0 | |a Introducción a la teoría de la lógica / |c José Luis Zalabardo ; versión castellana de José Luis Zalabardo Garcia-Muro |
| 264 | |a Madrid ; |b Alianza Editorial, |c ©2002 | ||
| 300 | |a 364 páginas ; |c 24 cm. | ||
| 336 | |2 rdacontent |a texto |b txt | ||
| 337 | |2 rdamedia |a no mediado |b n | ||
| 338 | |2 rdacarrier |a volumen |b nc | ||
| 490 | |a El libro universitario. Manuales / Filosofía y pensamiento | ||
| 504 | |a Incluye bibliografía | ||
| 505 | |a Los elementos -- Lógica proporcional -- ;Ógica del primer orde: sintaxis y semántica -- Introducción a la teoría de la lógica -- La deducción -- Consistencia y completud -- La cardinalidad -- Limitaciones expresivas -- La desidibilidad -- Símbolos y notación -- Letras griegas. | ||
| 520 | |a Este manual proporciona una introducción rigurosa a los conceptos y resultados fundamentales de la lógica contemporánea. También presenta las herramientas matemáticas, principalmente de la teoría de conjuntos, necesarias para comprender los aspectos técnicos de la disciplina e introduce los métodos principales de definición y prueba, prestando especial atención a las definiciones y pruebas inductivas y a las definiciones recursivas. Por ello, el libro será especialmente útil para los lectores que pretendan acometer un estudio serio de la lógica pero que carezcan de los conocimientos matemáticos que se presuponen en otros textos a este nivel. El libro contiene cientos de ejercicios. Entre los temas tratados se encuentran la teoría básica de conjuntos, sintaxis y semántica proposicional y de primer orden, un sistema deductivo basado en el cálculo de secuentes, los teoremas de la consistencia y la completud, la cardinalidad, las limitaciones expresivas de la lógica de primer orden, prestando especial atención a los teoremas de Löwenheim y Skolem y a los modelos no estándar de la aritmética, la decidibilidad, teorías completas, categoricidad y eliminación de cuantificadores. | ||
| 521 | |a General | ||
| 650 | 7 | |2 Lemb |a Lógica |x Teoría | |
| 700 | 1 | |a Zalabardo García-Muro, José Luis |e traducción | |
| 700 | 1 | |a Zalabardo, José Luis |i Traducción de: |t Introduction to the theory of logic | |
| 942 | |2 ddc |c BK | ||
| 990 | |a bc_montano | ||
| 990 | |a bc_dina | ||
| 999 | |c 29989 |d 29989 | ||
| 952 | |0 0 |1 0 |2 ddc |4 0 |6 160_000000000000000_Z353I |7 0 |8 CG |9 43067 |a 10 |b 10 |c CG |d 2011-12-06 |e Clásicos Roxsil |g 25.91 |i 64865 |l 1 |o 160 Z353i |p 10048062 |r 2018-10-30 |s 2018-10-27 |w 2015-02-13 |y BK |k 96413 | ||