Loading...
Interpolation and definability: Model and intuitionistic logic
Main Author: | Gabbay, Dov M |
---|---|
Other Authors: | Maksimove |
Format: | Printed Book |
Published: |
Clarendon Press, Oxford
2005
|
Subjects: |
Similar Items
-
Topoi the categorial analysis of logic
by: Goldblatt, Robert
Published: (2006) -
Sets logic and maths for computing
by: Makinson, David
Published: (2008) -
Proof theory for fuzzy logic
by: Metcalfe, George, et al
Published: (2009) -
Mathematics of fuzzy sets and fuzzy logic
by: Bede, Barnabas
Published: (2013) -
Fuzzy sets and fuzzy logic: Theory and application
by: Klir, George J
Published: (1995)