Logic and Proof

Antzeko izenburuak

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