Logic and Proof

Podobné jednotky

• Logic and Proof/
  Autor: Bittinger, Marvin L.
  Vydáno: (1970)
• Logic and proof
  Autor: Bittinger, Marvin L
  Vydáno: (1970)
• Logic and proof techniques/
  Autor: Eberle, Rolf
  Vydáno: (1996)
• Logical introduction to proof /
  Autor: Cunningham, Daniel W.
  Vydáno: (2012)
• Logical founations of proof complexity
  Autor: Cook, Stephen, a další
  Vydáno: (2010)