Elementary Induction on Abstract Structures More Books Like This
Logic and Algebra
2017
Sets And Computations
2017
Computable Structures and the Hyperarithmetical Hierarchy
2000
Mathematical Logic and Theoretical Computer Science
2020
Proof Theory
2013
Advances in Mathematical Logic
2022
Iwasawa Theory 2012
2014
Effective Mathematics of the Uncountable
2013
How to Measure the Infinite
2019
Ordinal Definability and Recursion Theory
2015
Relations: Concrete, Abstract, and Applied
2020
Complexity, Logic, and Recursion Theory
2019
Set Theory
2006
Proof and Computation
2018
Directions in Number Theory
2016