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

Lignende værker

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