Logic for computer science : foundations of automatic theorem proving /

相似書籍

• Logic for computer science: foundations of automatic theorem proving
  由: Gallier, Jean H; Author
  出版: (1987)
• Symbolic, logic and mechanical theorem proving
  由: Chang, Chin-Liang
  出版: (1973)
• Mathematical logic for computer science /
  出版: (2008)
• Mathematical logic : foundations for information science /
  由: Li, Wei
  出版: (2010)
• A textbook of logic
  由: Krishna Jain; Author
  出版: (2009)