Descripción
Muy revisado desde su primera aparición en 1941, Elementary Logic de Willard Van Orman Quine, a pesar de su brevedad, destaca por su alcance y rigor. Proporciona una única línea de técnicas sencillas para el negocio central de la lógica moderna. Se explican conceptos formales básicos, se trata con cierta extensión la paráfrasis de palabras en símbolos, y se presenta un procedimiento de prueba para la lógica de funciones de verdad junto con un procedimiento de prueba completo para la lógica de cuantificadores.
Un tercio de esta edición revisada es nuevo y presenta un cambio casi completo en las técnicas cruciales de prueba, algunos cambios de notación y una actualización de la terminología. El estudio está destinado principalmente a ser una encapsulación conveniente de los elementos esenciales mínimos, pero concluye dando breves vistazos a asuntos adicionales.Autor: Willard Van Orman Quine
Editorial: Harvard University Press
Publicado: 15/10/1980
Páginas: 144
Tipo de encuadernación: Tapa blanda
Peso: 0.35 libras
Tamaño: 8.22h x 5.28w x 0.37d
ISBN13: 9780674244511
ISBN10: 0674244516
Categorías BISAC:
- Filosofía | Lógica
- Ciencia | General