Buch
Goal-Directed Proof Theory
Dov M. Gabbay; N. Olivetti
Übersicht
| Verlag | : | Springer Netherland |
| Buchreihe | : | Applied Logic Series (Bd. 21) |
| Sprache | : | Englisch |
| Erschienen | : | 31. 08. 2000 |
| Seiten | : | 268 |
| Einband | : | Gebunden |
| Höhe | : | 234 mm |
| Breite | : | 156 mm |
| Gewicht | : | 1270 g |
| ISBN | : | 9780792364733 |
| Sprache | : | Englisch |
Inhaltsverzeichnis
1 Introduction.- 2 Intuitionistic and Classical Logics.- 3 Intermediate Logics.- 4 Modal Logics of Strict Implication.- 5 Substructural Logics.- 6 Conclusions and Further Work.
Deine Buchhandlung
Buchhandlung LeseLust
Inh. Gernod Siering
Georgenstraße 2
99817 Eisenach
03691/733822
kontakt@leselust-eisenach.de
Montag-Freitag 9-17 Uhr
Sonnabend 10-14 Uhr
Inh. Gernod Siering
Georgenstraße 2
99817 Eisenach
03691/733822
kontakt@leselust-eisenach.de
Montag-Freitag 9-17 Uhr
Sonnabend 10-14 Uhr
Deine Buchhandlung
Buchhandlung LeseLust
Inh. Gernod Siering
Georgenstraße 2
99817 Eisenach
03691/733822
kontakt@leselust-eisenach.de
Montag-Freitag 9-17 Uhr
Sonnabend 10-14 Uhr
Inh. Gernod Siering
Georgenstraße 2
99817 Eisenach
03691/733822
kontakt@leselust-eisenach.de
Montag-Freitag 9-17 Uhr
Sonnabend 10-14 Uhr