Logic and Proof

Eitemau Tebyg

• Logic and Proof/
  gan: Bittinger, Marvin L.
  Cyhoeddwyd: (1970)
• Logic and proof
  gan: Bittinger, Marvin L
  Cyhoeddwyd: (1970)
• Logic and proof techniques/
  gan: Eberle, Rolf
  Cyhoeddwyd: (1996)
• Logical introduction to proof /
  gan: Cunningham, Daniel W.
  Cyhoeddwyd: (2012)
• Logical founations of proof complexity
  gan: Cook, Stephen, et al.
  Cyhoeddwyd: (2010)