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:
LEADER 00558nam a2200169 4500
082 |a R 511.322 GAB-I 
100 |a Gabbay, Dov M 
245 |a Interpolation and definability: Model and intuitionistic logic  |c Dov M Gabbay and Maksimove 
250
260 |a Clarendon Press, Oxford  |c 2005 
300
490
650 |a Set theory-- Fuzzy sets-- Transfinite numbers 
700 |a Maksimove 
942 |c BK 
999 |c 204544  |d 204544 
952 |0 0  |1 0  |4 0  |6 R_511_322000000000000_GABI  |7 0  |9 217893  |a MAT  |b MAT  |l 0  |o R 511.322 GAB-I  |p MAT5906  |r 2019-11-01  |w 2019-11-01  |y BK