Labelled Deduction - Applied Logic Series - Luca Vigano - Bücher - Springer - 9780792362371 - 30. April 2000
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

Labelled Deduction - Applied Logic Series 2000 edition

Preis
SFr. 85,49
exkl. MwSt.

Bestellware

Lieferdatum: ca. 26. Jan - 3. Feb
Zu deiner iMusic Wunschliste hinzufügen

Labelled deduction is an approach to providing frameworks for presenting and using different logics in a uniform and natural way by enriching the language of a logic with additional information of a semantic proof-theoretical nature.


278 pages, biography

Medien Bücher     Gebundenes Buch   (Buch mit hartem Rücken und steifem Einband)
Erscheinungsdatum 30. April 2000
ISBN13 9780792362371
Verlag Springer
Seitenanzahl 267
Maße 170 × 244 × 17 mm   ·   576 g
Sprache Englisch  
Redakteur Basin, David
Redakteur D'Agostino, M.
Redakteur Gabbay, Dov M.
Redakteur Matthews, Sean
Redakteur Vigano, Luca

Weitere Titel von Luca Vigano

Alle anzeigen