Logic and Proof

Míreanna Comhchosúla

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