Home > Labelled Deduction
Labelled Deduction
Book Informaton
Author
David Basin; M. D'Agostino; Dov M. Gabbay; Seán Matthews; Luca Viganò
Series
Applied Logic Series
Volume
17
Year of Publication
2000
Publisher
Springer Netherlands
City of Publication
Dordrecht; Boston
Pages
XI, 267
Language
en
ISBN
9780792362371, 9789401140409, 0792362373
ARI Id
1664869886086
Find on
This page has been accessed 5 times.
Access Options
Citation Options
Download Citation| Chapters/Headings | Author(s) | Pages | Info |
| Loading... | |||
| Chapters/Headings | Author(s) | Pages | Info |