Browsing by Subject Tableaux system
Showing results 2 to 2 of 2
< previous
Issue Date | Title | Author(s) | Type | Access Type |
---|---|---|---|---|
12-Jun-2016 | A tableau system for Quasi-hybrid logic | Costa, Diana; Martins, Manuel A. | bookPart |