Logic and Proof

類似資料

• Logic and Proof/
  著者:: Bittinger, Marvin L.
  出版事項: (1970)
• Logic and proof
  著者:: Bittinger, Marvin L
  出版事項: (1970)
• Logic and proof techniques/
  著者:: Eberle, Rolf
  出版事項: (1996)
• Logical introduction to proof /
  著者:: Cunningham, Daniel W.
  出版事項: (2012)
• Logical founations of proof complexity
  著者:: Cook, Stephen, 等
  出版事項: (2010)