About this book series

Books published in this series will be of interest to the research community and graduate students, with a unique focus on issues of computability. The perspective of the series is multidisciplinary, recapturing the spirit of Turing by linking theoretical and real-world concerns from computer science, mathematics, biology, physics, and the philosophy of science.The series includes research monographs, advanced and graduate texts, and books that offer an original and informative view of computability and computational paradigms.
Electronic ISSN
2190-6203
Print ISSN
2190-619X
Series Editor
  • Laurent Bienvenu,
  • Paola Bonizzoni,
  • Vasco Brattka,
  • Elvira Mayordomo,
  • Prakash Panangaden

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
  3. The Incomputable

    Journeys Beyond the Turing Barrier

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

    Available Renditions

    • Hard cover
    • Soft cover
    • eBook
  4. Turing Computability

    Theory and Applications

    Authors:
    • Robert I. Soare
    • Copyright: 2016

    Available Renditions

    • Hard cover
    • Soft cover
    • eBook

Abstracted and indexed in

  1. DBLP