Martin Davis : Computability & unsolvability
€12.00
In stock
Only %1 left
SKU
P-COMP-C3E79F

Martin Davisin klassikkoteos esittelee selkeästi laskettavuuden ja ratkeamattomuuden teorian sekä niiden sovellukset matemaattisen logiikan ja tietotekniikan parissa.
| Categories | |
|---|---|
| Author | Martin Davis |
| Title | Computability & unsolvability |
| SKU | P-COMP-C3E79F |
| Keywords | matemaattinen logiikka, matematisk logik |
