We Will Show Them!: Essays in Honour of Dov Gabbay (Volume 1)

S. Artemov , H. Barringer , A.A. Garcez