Lanean...
Interpolation and definability: Model and intuitionistic logic
| Egile nagusia: | |
|---|---|
| Beste egile batzuk: | |
| 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 | ||