مؤلف: Yde (Universiteit van Amsterdam) Venema

Patrick Blackburn & Maarten de Rijke: Modal Logic