Computable Structures and the Hyperarithmetical Hierarchy More Books Like This

Proof Theory Proof Theory
Proof Theory
2013
Structure And Randomness In Computability And Set Theory Structure And Randomness In Computability And Set Theory
Structure And Randomness In Computability And Set Theory
2020
Logic and Algebra Logic and Algebra
Logic and Algebra
2017
Mathematical Logic and Theoretical Computer Science Mathematical Logic and Theoretical Computer Science
Mathematical Logic and Theoretical Computer Science
2020
A First Course in Mathematical Logic and Set Theory A First Course in Mathematical Logic and Set Theory
A First Course in Mathematical Logic and Set Theory
2015
Sets And Computations Sets And Computations
Sets And Computations
2017
Mathematical Logic Mathematical Logic
Mathematical Logic
2018
Elementary Induction on Abstract Structures Elementary Induction on Abstract Structures
Elementary Induction on Abstract Structures
2014
How to Measure the Infinite How to Measure the Infinite
How to Measure the Infinite
2019
Realizability Realizability
Realizability
2008
Structural Theory of Automata, Semigroups, and Universal Algebra Structural Theory of Automata, Semigroups, and Universal Algebra
Structural Theory of Automata, Semigroups, and Universal Algebra
2006
Residuated Lattices: An Algebraic Glimpse at Substructural Logics Residuated Lattices: An Algebraic Glimpse at Substructural Logics
Residuated Lattices: An Algebraic Glimpse at Substructural Logics
2007
Set Theory Set Theory
Set Theory
2011
Infinite Words Infinite Words
Infinite Words
2004
The Theory of Functions of Real Variables The Theory of Functions of Real Variables
The Theory of Functions of Real Variables
2012