Elementary Induction on Abstract Structures More Books Like This

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