Maarten Rijke

• Advances in Intensional Logic