2 delar i läsordning — jämför priser från flera bokhandlare och läs serien billigast.
Computability, Complexity, and Languages
Martin Davis
fr.
684
kr
Symbolic Logic and Mechanical Theorem Proving
Chin-Liang Chang
