Martin Davis : Computability & unsolvability
12,00 €
Varastossa
Vain %1 jäljellä
SKU
P-COMP-C3E79F

Martin Davisin klassikkoteos esittelee selkeästi laskettavuuden ja ratkeamattomuuden teorian sekä niiden sovellukset matemaattisen logiikan ja tietotekniikan parissa.
| Tuoteryhmä | |
|---|---|
| Tekijä | Martin Davis |
| Teoksen nimi | Computability & unsolvability |
| SKU | P-COMP-C3E79F |
| Avainsanat | matemaattinen logiikka, matematisk logik |
