Computability Theory こちらもおすすめ
Proof and Computation
2018年
Structure And Randomness In Computability And Set Theory
2020年
Complexity, Logic, and Recursion Theory
2019年
Logic and Algebra
2017年
Set Theory: Questions and Answers
2018年
Proof Theory
2013年
Mathematical Logic and Theoretical Computer Science
2020年
Theory of Computational Complexity
2014年
Sets And Computations
2017年
Measure Theory: Questions and Answers (2020 Edition)
2019年
PROOF AND COMPUTATION II
2021年
Real Analysis: Questions and Answers
2018年
How to Measure the Infinite
2019年
INTRODUCTION TO ALGEBRAIC CODING THEORY
2022年
Elementary Induction on Abstract Structures
2014年