Lanean...
Interpolation and definability: Model and intuitionistic logic
| Egile nagusia: | Gabbay, Dov M |
|---|---|
| Beste egile batzuk: | Maksimove |
| Formatua: | Printed Book |
| Argitaratua: |
Clarendon Press, Oxford
2005
|
| Gaiak: |
Antzeko izenburuak
-
Topoi the categorial analysis of logic
nork: Goldblatt, Robert
Argitaratua: (2006) -
Sets logic and maths for computing
nork: Makinson, David
Argitaratua: (2008) -
Proof theory for fuzzy logic
nork: Metcalfe, George, et al
Argitaratua: (2009) -
Mathematics of fuzzy sets and fuzzy logic
nork: Bede, Barnabas
Argitaratua: (2013) -
Fuzzy sets and fuzzy logic: Theory and application
nork: Klir, George J
Argitaratua: (1995)