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)