Maarten de Rijke

Advances in Intensional Logic - 1997 - Springer Netherlands 1997 - Applied Logic Series .

9789401588799


Mathematics and Statistics