Cargando…
Lógica matemática elemental /
La lógica matemática es, hoy día, herramienta fundamentalmente imprescindible del quehacer filosófico y científico. Benson Mates, profesor de Filosofía de la Universidad de California, nos ofrece un breve tratado que constituye, muy probablemente, la mejor y más completa introducción a la logica mat...
| Clasificación: | BC135 M3.7318 |
|---|---|
| Autor principal: | |
| Otros Autores: | |
| Formato: | Libro |
| Idioma: | Español Inglés |
| Publicado: |
Madrid :
Tecnos,
1970.
|
| Colección: | Filosofía y ensayo
|
| Temas: |
MARC
| LEADER | 00000nam a2900000 a 4500 | ||
|---|---|---|---|
| 001 | 000045845 | ||
| 005 | 20130503150000.0 | ||
| 008 | 111109s1970 sp 000 0 spa d | ||
| 020 | |a 843090509X | ||
| 040 | |a Mx-MxUAM |d UAMI | ||
| 041 | 1 | |a spa |h eng | |
| 050 | 4 | |a BC135 |b M3.7318 | |
| 090 | |a BC135 |b M3.7318 | ||
| 100 | 1 | |a Mates, Benson, |d 1919- | |
| 240 | 1 | 0 | |a Elementary logic. |l Español. |
| 245 | 1 | 0 | |a Lógica matemática elemental / |c Benson Mates ; traducción de Carmen García Trevijano. |
| 260 | |a Madrid : |b Tecnos, |c 1970. | ||
| 300 | |a 287 p. ; |c 21 cm. | ||
| 440 | 0 | |a Filosofía y ensayo | |
| 500 | |a Inculuye bibliografía: (p.281-282.) | ||
| 520 | |a La lógica matemática es, hoy día, herramienta fundamentalmente imprescindible del quehacer filosófico y científico. Benson Mates, profesor de Filosofía de la Universidad de California, nos ofrece un breve tratado que constituye, muy probablemente, la mejor y más completa introducción a la logica matemática, a nivel elemental, entre las hoy existentes. Los capítulos dedicados a formalismos, tanto a la deducción natural como a la axiomática, son extraordinariamente elegantes y sencillos. Pero lo que hace, sobre todo, de esta obra la más completa en su línea es el amplio repertorio de tópicos no habituales en manuales de tipo elemental: la base conceptual de la lógica, la discusión de las relaciones entre lenguajes naturales y formales, la semántica de Tarski, la metalógica, la formalización de la silogística y un excelente esbozo de historia de la lógica formal. | ||
| 500 | |a Traducción de: Elementary logic. Oxford University Press, 1965. | ||
| 650 | 4 | |a Lógica matemática | |
| 700 | 1 | |a García Trevijano, Carmen, |e tr. | |
| 905 | |a LIBROS | ||
| 902 | |a Rosa María Guevara H. | ||
| 949 | |a Biblioteca UAM Iztapalapa |b Colección General |c BC135 M3.7318 | ||