Lanean...

Interpolation and definability: Model and intuitionistic logic

Xehetasun bibliografikoak
Egile nagusia: Gabbay, Dov M
Beste egile batzuk: Maksimove
Formatua: Printed Book
Argitaratua: Clarendon Press, Oxford 2005
Gaiak: