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
|
Utgitt | Oxford : Clarendon Press , 2005
|
---|---|
Omfang | XIV, 508 s. : ill.
|
Emner | |
ISBN | 0198511744
|