Book titles in this series

  1. Restarting Automata

    Extensions and Generalizations

    Authors:
    • Friedrich Otto
    • Copyright: 2025

    Available Renditions

    • Hard cover
    • eBook

  2. Restarting Automata

    The Standard Type of Restarting Automaton and Its Variants

    Authors:
    • Friedrich Otto
    • Copyright: 2025

    Available Renditions

    • Hard cover
    • eBook

  3. Programs as Diagrams

    From Categorical Computability to Computable Categories

    Authors:
    • Dusko Pavlovic
    • Copyright: 2023

    Available Renditions

    • Hard cover
    • Soft cover
    • eBook

  4. Reverse Mathematics

    Problems, Reductions, and Proofs

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

    Available Renditions

    • Hard cover
    • Soft cover
    • eBook

  6. The Incomputable

    Journeys Beyond the Turing Barrier

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

    Available Renditions

    • Hard cover
    • Soft cover
    • eBook

  7. Turing Computability

    Theory and Applications

    Authors:
    • Robert I. Soare
    • Copyright: 2016

    Available Renditions

    • Hard cover
    • Soft cover
    • eBook

  10. 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