Computational Logic and Set Theory : Applying Formalized Logic to Analysis /

類似資料

• Sets, Logic and Maths for Computing /
  著者:: David Makinson
  出版事項: (2012, c2012)
• Set Theory and Its Logic /
  著者:: Quine, W.V
  出版事項: (1971, c1969)
• Sets, Logic and Maths for Computing /
  著者:: Makinson, David
  出版事項: (2008, c2008)
• Sets and Logic /
  著者:: Bailey, C.A.R
  出版事項: (1964, c1964)
• Problems in Set Theory, Mathematical Logic, and the Theory of Algorithms /
  著者:: Lavrov, Igor
  出版事項: (2003, c2003)