Book titles in this series

  1. Programs as Diagrams

    From Categorical Computability to Computable Categories

    Authors:
    • Dusko Pavlovic
    • Copyright: 2023

    Available Renditions

    • Hard cover
    • eBook

  2. Reverse Mathematics

    Problems, Reductions, and Proofs

    Authors:
    • Damir D. Dzhafarov
    • Carl Mummert
    • Copyright: 2022

    Available Renditions

    • Hard cover
    • Soft cover
    • eBook

  4. The Incomputable

    Journeys Beyond the Turing Barrier

    Editors:
    • S. Barry Cooper
    • Mariya I. Soskova
    • Copyright: 2017

    Available Renditions

    • Hard cover
    • Soft cover
    • eBook

  5. Turing Computability

    Theory and Applications

    Authors:
    • Robert I. Soare
    • Copyright: 2016

    Available Renditions

    • Hard cover
    • Soft cover
    • eBook

  8. Apartness and Uniformity

    A Constructive Development

    Authors:
    • Douglas S. Bridges
    • LuminiÅ£a Simona Vîţă
    • Copyright: 2011

    Available Renditions

    • Hard cover
    • Soft cover
    • eBook

Publish with us

Submission guidelines
Open access publishing
Policies and ethics
Contact the Publishing Editor
Wayne Wheeler
Download book proposal form