Ingen varer
Gå til kassen
Bemærk: Kan ikke leveres før jul.
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.