Ingen varer
Gå til kassen
Bemærk: Kan ikke leveres før jul.
Presents coverage of research at the interface of logic, computability theory, and theoretical computer science. This book integrates two approaches to computability.