Analysis and Synthesis of Logics

Dov Gabbay, W Carnieli, M Coniglio, P Gouveia, C Sernadas

Research output: Book/ReportBook

Original languageEnglish
PublisherSpringer
ISBN (Print)978-90-481-7725-7
Publication statusPublished - 2008

Cite this