2 Ebooks von M. D. Agostino
David Basin & M. D’Agostino: Labelled Deduction
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 …
PDF
Englisch
DRM
€111.48
M. D’Agostino & Dov M. Gabbay: Handbook of Tableau Methods
Recent years have been blessed with an abundance of logical systems, arising from a multitude of applications. A logic can be characterised in many different ways. Traditionally, a logic is presented …
PDF
Englisch
DRM
€225.53
