The Work

Failure of interpolation in constant domain intuitionistic logic

The details

The Author

The offers