Compacidad en la lógica de primer orden y su relación con el teorema de completud /

Lignende værker

• Una introducción matemática a la lógica /
  af: Enderton, Herbert B.
  Udgivet: (2004, c1987)
• Logique /
  af: Liard, Louis
  Udgivet: (1927)
• El teorema de Gödel /
  af: Nagel, Ernest
  Udgivet: (1979, c1979)
• Introducción al pensamiento científico : el conocimiento : las ciencias formales /
  af: Palau, Gladys
  Udgivet: (2001, c2000)
• An Investigation of the Laws of Thought : On which Are Founded the Mathematical Theories of Logic and Probabilities /
  af: Boole, George
  Udgivet: (fecha no identificada)