Forcing, Iterated Ultrapowers, And Turing Degrees こちらもおすすめ
Proof Theory
2013年
Mathematical Logic and Theoretical Computer Science
2020年
Beyond First Order Model Theory, Volume I
2017年
Logic and Algebra
2017年
Calkin Algebras and Algebras of Operators on Banach Spaces
2017年
Advances in Algebra and Model Theory
2019年
Regular Sequences and Resultants
2001年
Representation Theory of Symmetric Groups
2017年
Measure Theory and Integration
2018年
Fundamentals of Mathematical Logic
2018年
Analysis on Fock Spaces and Mathematical Theory of Quantum Fields
2017年
Zeta Functions of Reductive Groups and Their Zeros
2018年
Complexity, Logic, and Recursion Theory
2019年
ELEMENTARY MODULAR IWASAWA THEORY
2021年
How to Measure the Infinite
2019年