Oxford Logic Guides

1 total work

Interpolation and Definability: Modal and Intuitionistic Logics. Oxford Logic Guides, Volume 46.

by Professor Department of Computing Dov M Gabbay and Institute of Mathematics Larisa Maksimova

Published 1 January 2005