Handbook of Philosophical Logic. Vol.9
178.17 CHF
Versandkostenfrei
Lieferzeit: 21 Werktage
- Artikel-Nr.: 10311857
Beschreibung
Editorial Preface; D.M. Gabbay.
Rewriting Logic as a Logical and Semantic Framework; N. Martí-Oliet, J. Meseguer.
Logical Frameworks; D. Basin, S. Matthews.
Proof Theory and Meaning; G. Sundholm.
Goal Directed Deductions; D.M. Gabbay, N. Olivetti.
On Negation, Completeness and Consistency; A. Avron.
Logic as General Rationality: A Survey; T. Sales.
Index.
Rewriting Logic as a Logical and Semantic Framework; N. Martí-Oliet, J. Meseguer.
Logical Frameworks; D. Basin, S. Matthews.
Proof Theory and Meaning; G. Sundholm.
Goal Directed Deductions; D.M. Gabbay, N. Olivetti.
On Negation, Completeness and Consistency; A. Avron.
Logic as General Rationality: A Survey; T. Sales.
Index.
Eigenschaften
Breite: | 160 |
Gewicht: | 720 g |
Höhe: | 240 |
Seiten: | 368 |
Sprachen: | Englisch |
Autor: | Dov M. Gabbay, Franz Guenthner |
Bewertung
Bewertungen werden nach Überprüfung freigeschaltet.
Zuletzt angesehen