Proofs and Algorithms electronic resource : An Introduction to Logic and Computability / by Gilles Dowek

Författare
Gilles. author. Dowek
Språk
Okänt
Förlag År Ort Om boken ISBN
uuuu-uuuu Utgivningsland okänt / Ej specificerat