This book offers a self-contained exposition of the theory of computability in a higher-order context, where 'computable operations' may themselves be passed as arguments to other computable operations.
Tilaustuote(avautuu ponnahdusikkunassa) Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa. | 🎄 Tämä tuote ehtii jouluksi, kun teet tilauksen viimeistään27.11.2025