Arvutatavuse teooria
Pakub sissejuhatust tänapäevasesse arvutatavuse teooriasse, tehnikatesse ja tulemustesse. See raamat asetab arvutatavuse teooria põhimõisted ja -tehnikad nende ajaloolisesse, filosoofilisse ja loogilisse konteksti. See sisaldab peatükki, mis uurib mitmesuguseid arvutatavuse rakendusi matemaatikas ja loodusteadustes.