We will show them! : essays in honour of Dov Gabbay on his 60th birthday /
Gabbay, Dov M.,1945-
Artemov, Sergei.
London : College Publications,
c2005.
Includes bibliographical references and indexes.
Computer logic.