Logic and Proof

Documenti analoghi

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