Theory and Applications of Computability

Pavlovic

Programs as Diagrams

Programs as Diagrams

Programs as Diagrams

From Categorical Computability to Computable Categories

From Categorical Computability to Computable Categories

Fachbuch2023BuchSpringerISBN 978-3-031-34826-6

Dzhafarov / Mummert

Reverse Mathematics

Reverse Mathematics

Reverse Mathematics

Problems, Reductions, and Proofs

Problems, Reductions, and Proofs

Fachbuch2023BuchSpringerISBN 978-3-031-11369-7

Dzhafarov / Mummert

Reverse Mathematics

Reverse Mathematics

Reverse Mathematics

Problems, Reductions, and Proofs

Problems, Reductions, and Proofs

Fachbuch2022BuchSpringerISBN 978-3-031-11366-6

Brattka / Hertling

Handbook of Computability and Complexity in Analysis

Handbook of Computability and Complexity in Analysis

Handbook of Computability and Complexity in Analysis

Fachbuch2022BuchSpringerISBN 978-3-030-59236-3

Pavlovic

Programs as Diagrams

Programs as Diagrams

Programs as Diagrams

From Categorical Computability to Computable Categories

From Categorical Computability to Computable Categories

2023eBook (PDF mit Wasserzeichen)Springer International PublishingISBN 978-3-031-34827-3

Dzhafarov / Mummert

Reverse Mathematics

Reverse Mathematics

Reverse Mathematics

Problems, Reductions, and Proofs

Problems, Reductions, and Proofs

2022eBook (PDF mit Wasserzeichen)Springer Nature SwitzerlandISBN 978-3-031-11367-3

Brattka / Hertling

Handbook of Computability and Complexity in Analysis

Handbook of Computability and Complexity in Analysis

Handbook of Computability and Complexity in Analysis

2021eBook (PDF mit Wasserzeichen)Springer International PublishingISBN 978-3-030-59234-9

Longley / Normann

Higher-Order Computability

Higher-Order Computability

Higher-Order Computability

2015eBook (PDF mit Wasserzeichen)Springer Berlin HeidelbergISBN 978-3-662-47992-6

Cooper / Soskova

The Incomputable

The Incomputable

The Incomputable

Journeys Beyond the Turing Barrier

Journeys Beyond the Turing Barrier

2017eBook (PDF mit Wasserzeichen)Springer International PublishingISBN 978-3-319-43669-2

Soare

Turing Computability

Turing Computability

Turing Computability

Theory and Applications

Theory and Applications

2016eBook (PDF mit Wasserzeichen)Springer Berlin HeidelbergISBN 978-3-642-31933-4