Título: Natural Deduction. A Proof-Theorical Study | ||
Autor: Prawitz, Dag | Precio: $160.00 | |
Editorial: Dover Publications, Inc. | Año: 2006 | |
Tema: Matematicas, Logica, Teorias | Edición: 1ª | |
Sinopsis | ISBN: 0486446557 | |
An innovative approach to the semantics of logic, proof-theoretic semantics seeks the meaning of propositions and logical connectives within a system of inference. |