Computer science logic /

Eitemau Tebyg

• Logic In Computer Science /
  gan: Huth, Michael .
  Cyhoeddwyd: (2004)
• Logics for computer science
  gan: Singh, Arindama
  Cyhoeddwyd: (2004)
• Logic for computer science : foundations of automatic theorem proving /
  gan: Gallier, Jean H.
  Cyhoeddwyd: (1986)
• Logic in computer science Modelling and reasoning about systems /
  gan: Huth, Michael
  Cyhoeddwyd: (2004)
• Handbook of logic and proof techniques for computer science
  gan: karntz, Steven G
  Cyhoeddwyd: (2002)