Descripción
Las teorías de Prawitz forman la base de la teoría de tipos intuicionista, y su principio de inversión constituye el fundamento de la mayoría de las explicaciones modernas de la semántica de la teoría de la demostración. El sistema de la teoría de la demostración representa un método más simple y esclarecedor que los enfoques alternativos, y este volumen ofrece una ilustración concisa y coherente de sus aplicaciones a la deducción natural. Edición de 1965.
Autor: Dag Prawitz
Editorial: Dover Publications
Publicado: 24/02/2006
Páginas: 113
Tipo de encuadernación: Tapa blanda
Peso: 0.30lbs
Tamaño: 7.68h x 5.98w x 0.28d
ISBN13: 9780486446554
ISBN10: 0486446557
Categorías BISAC:
- Matemáticas | General
- Filosofía | Lógica
Autor: Dag Prawitz
Editorial: Dover Publications
Publicado: 24/02/2006
Páginas: 113
Tipo de encuadernación: Tapa blanda
Peso: 0.30lbs
Tamaño: 7.68h x 5.98w x 0.28d
ISBN13: 9780486446554
ISBN10: 0486446557
Categorías BISAC:
- Matemáticas | General
- Filosofía | Lógica
Este título no es retornable