Logic in Computer Science

Huth.

  • Artnr: 9780521-54310-1