Maarten de Rijke
Advances in Intensional Logic - 1997 - Springer Netherlands 1997 - Applied Logic Series .
9789401588799
Mathematics and Statistics
Advances in Intensional Logic - 1997 - Springer Netherlands 1997 - Applied Logic Series .
9789401588799
Mathematics and Statistics