Παρόμοια τεκμήρια

• Handbook of logic in computer science/
  Έκδοση: (1992)
• Logic for mathematics and computer science/
  ανά: Burris, Stanley N.
  Έκδοση: (1998)
• Mathematical logic for computer science
  ανά: Ben-Ari, M., 1948-
  Έκδοση: (1993)
• Linear logic in computer science /
  Έκδοση: (2004)
• Logic for computer science foundations of automatic theorem proving /
  ανά: Gallier, Jean H.
  Έκδοση: (1987)