Functional Interpretations こちらもおすすめ

Fundamentals of Mathematical Logic Fundamentals of Mathematical Logic
Fundamentals of Mathematical Logic
2018年
Logic and Algebra Logic and Algebra
Logic and Algebra
2017年
Mathematical Logic and Theoretical Computer Science Mathematical Logic and Theoretical Computer Science
Mathematical Logic and Theoretical Computer Science
2020年
Proof Theory Proof Theory
Proof Theory
2013年
Context-free Languages And Primitive Words Context-free Languages And Primitive Words
Context-free Languages And Primitive Words
2014年
Mathematical Logic Mathematical Logic
Mathematical Logic
2018年
Sets And Computations Sets And Computations
Sets And Computations
2017年
Classical and Fuzzy Concepts in Mathematical Logic and Applications, Professional Version Classical and Fuzzy Concepts in Mathematical Logic and Applications, Professional Version
Classical and Fuzzy Concepts in Mathematical Logic and Applications, Professional Version
2022年
Representations of Algebras Representations of Algebras
Representations of Algebras
2019年
Beyond First Order Model Theory, Volume I Beyond First Order Model Theory, Volume I
Beyond First Order Model Theory, Volume I
2017年
Analysis on Fock Spaces and Mathematical Theory of Quantum Fields Analysis on Fock Spaces and Mathematical Theory of Quantum Fields
Analysis on Fock Spaces and Mathematical Theory of Quantum Fields
2017年
Gröbner–Shirshov Bases Gröbner–Shirshov Bases
Gröbner–Shirshov Bases
2020年
Calkin Algebras and Algebras of Operators on Banach Spaces Calkin Algebras and Algebras of Operators on Banach Spaces
Calkin Algebras and Algebras of Operators on Banach Spaces
2017年
Complexity, Logic, and Recursion Theory Complexity, Logic, and Recursion Theory
Complexity, Logic, and Recursion Theory
2019年
Hopf Algebras and Quantum Groups Hopf Algebras and Quantum Groups
Hopf Algebras and Quantum Groups
2019年