Programs as Diagrams : From Categorical Computability to Computable Categories
Dusko Pavlovic
Download Now
Format: eBook (EPUB)
Turing Computability : Theory and Applications
Robert I. Soare
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£69.99
£49.98
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to Basket
Handbook of Computability and Complexity in Analysis
Vasco Brattka
Out of Stock - We are unable to provide an estimated availability date for this product
Format: Book (Hardback)
£89.99
£63.29
Out of Stock - We are unable to provide an estimated availability date for this product
Book (Hardback)
Add to Basket
Handbook of Computability and Complexity in Analysis
Vasco Brattka
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£59.99
£43.77
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Reverse Mathematics : Problems, Reductions, and Proofs
Damir D. Dzhafarov
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Hardback)
£79.99
£56.80
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Hardback)
Add to Basket
Reverse Mathematics : Problems, Reductions, and Proofs
Damir D. Dzhafarov
Download Now
Format: eBook (PDF)
Apartness and Uniformity : A Constructive Development
Douglas S. Bridges
Download Now
Format: eBook (PDF)
The Incomputable : Journeys Beyond the Turing Barrier
S. Barry Cooper
Download Now
Format: eBook (EPUB)
