Theory of Computation こちらもおすすめ
Computability and Unsolvability
2013年
Transition to Analysis with Proof
2017年
SET THEO & FOUNDATION MATH (V2)
2022年
A Beginner's Further Guide to Mathematical Logic
2017年
A First Course in Mathematical Logic and Set Theory
2015年
A Transition to Proof
2019年
An Introduction to the Analysis of Algorithms
2018年
A Bridge to Advanced Mathematics
2013年
Recursion Theory
2018年
Understanding Real Analysis
2017年
Set Theory: The Structure of Arithmetic
2018年
A Beginner's Guide to Mathematical Logic
2014年
Introduction to Proof in Abstract Mathematics
2014年
Set Theory and Logic
2012年
A Short Course in Discrete Mathematics
2012年