Programs as Diagrams : From Categorical Computability to Computable Categories
Dusko Pavlovic
Download Now
Format: eBook (EPUB)
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)