Topoi the categorial analysis of logic

Những quyển sách tương tự

• Sets logic and maths for computing
  Bằng: Makinson, David
  Được phát hành: (2008)
• Proof theory for fuzzy logic
  Bằng: Metcalfe, George, et al
  Được phát hành: (2009)
• Mathematics of fuzzy sets and fuzzy logic
  Bằng: Bede, Barnabas
  Được phát hành: (2013)
• Interpolation and definability: Model and intuitionistic logic
  Bằng: Gabbay, Dov M
  Được phát hành: (2005)
• Fuzzy sets and fuzzy logic: Theory and application
  Bằng: Klir, George J
  Được phát hành: (1995)