Zu dieser ISBN ist aktuell kein Angebot verfügbar.
PartI An overview of the sequent calcus.- PartII, Sequent caluli for modal logic.- Part III, Tree-hyperseqent calculi.- Reference.- Symbols and notations.- Index.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
(Keine Angebote verfügbar)
Buch Finden: Kaufgesuch aufgebenSie finden Ihr gewünschtes Buch nicht? Wir suchen weiter für Sie. Sobald einer unserer Buchverkäufer das Buch bei AbeBooks anbietet, werden wir Sie informieren!
Kaufgesuch aufgeben