Mathematical logic for computer science

A mathematics textbook containing theorems and proofs. The choice of topics has been guided by the needs of computer science students.

Licence: 
Payment

More information

Language: 
Anglès