and modal logic, Course Notes for the European (2001)

by Coalgebras
Venue:University of Helsinki