Effective Mathematics of the Uncountable More Books Like This
Structure And Randomness In Computability And Set Theory
2020
Coalgebraic Methods in Computer Science
2022
Coalgebraic Methods in Computer Science
2018
Proof and Computation
2018
PROOF AND COMPUTATION II
2021
Mathematical Problems from Applied Logic II
2007
Typed Lambda Calculi and Applications
2011
Elementary Induction on Abstract Structures
2014
Sets And Computations
2017
Algorithmic and Experimental Methods in Algebra, Geometry, and Number Theory
2018
Computable Structures and the Hyperarithmetical Hierarchy
2000
Arithmetic and Geometry
2016
Developments in Language Theory
2008
Complexity, Logic, and Recursion Theory
2019
Reachability Problems
2022