Interpolation and definability : modal and intuitionistic logics


D.M. Gabbay, L. Maksimova
Bok Engelsk 2005 Dov M. Gabbay
Utgitt
Oxford : Clarendon Press , 2005
Omfang
XIV, 508 s. : ill.
Emner
ISBN
0198511744

Bibliotek som har denne