Loading products…
Check final price, delivery and availability with the retailer.
Buy directly from your chosen retailer. Check delivery costs, availability and returns on the retailer’s website before buying.
Typical prices across the web
The study of the connections between mathematical automata and for mal logic is as old as theoretical computer science itself. In the founding paper of the subject, published in 1936, Turing showed how to describe the behavior of a universal computing machine with a formula of first order predicat...

We may earn a commission when you click through to a retailer such as eBay or Amazon. This never affects the price you pay.
Recorded lowest item prices. Delivery costs excluded.