Computability and Logic /

Benzer Materyaller

• Constructivity and Computability in Historical and Philosophical Perspective /
  Yazar:: Dubucs, Jacques
  Baskı/Yayın Bilgisi: (2014, c2014)
• An Investigation of the Laws of Thought : On which Are Founded the Mathematical Theories of Logic and Probabilities /
  Yazar:: Boole, George
  Baskı/Yayın Bilgisi: (fecha no identificada)
• An Investigation of the Laws of Thought : On which Are Founded the Mathematical Theories of Logic and Probabilities /
  Yazar:: Boole, George
  Baskı/Yayın Bilgisi: (1958)
• Logic for computer science : foundations of automatic theorem proving /
  Yazar:: Gallier, Jean H.
  Baskı/Yayın Bilgisi: (1987, c1987)
• Logic : the theory of formal inference /
  Yazar:: Ambrose, Alice
  Baskı/Yayın Bilgisi: (1961)