5.2 Proof Systems for Coalgebraic Modal Logic.......... 91
by
Dirk Pattinson
Document Versions
| 5.2 Proof Systems for Coalgebraic Modal Logic.......... 91 –Dirk Pattinson |
