Logic and Algebra こちらもおすすめ

Proof Theory Proof Theory
Proof Theory
2013年
Sets And Computations Sets And Computations
Sets And Computations
2017年
Beyond First Order Model Theory, Volume I Beyond First Order Model Theory, Volume I
Beyond First Order Model Theory, Volume I
2017年
Fundamentals of Mathematical Logic Fundamentals of Mathematical Logic
Fundamentals of Mathematical Logic
2018年
Algebra, Logic and Combinatorics Algebra, Logic and Combinatorics
Algebra, Logic and Combinatorics
2016年
Advances in Algebra and Model Theory Advances in Algebra and Model Theory
Advances in Algebra and Model Theory
2019年
Mathematical Logic Mathematical Logic
Mathematical Logic
2018年
Developments in Nonstandard Mathematics Developments in Nonstandard Mathematics
Developments in Nonstandard Mathematics
2020年
Relations: Concrete, Abstract, and Applied Relations: Concrete, Abstract, and Applied
Relations: Concrete, Abstract, and Applied
2020年
Metacyclic Groups and the D(2) Problem Metacyclic Groups and the D(2) Problem
Metacyclic Groups and the D(2) Problem
2020年
Functional Interpretations Functional Interpretations
Functional Interpretations
2019年
Gröbner–Shirshov Bases Gröbner–Shirshov Bases
Gröbner–Shirshov Bases
2020年
Representation Theory of Symmetric Groups Representation Theory of Symmetric Groups
Representation Theory of Symmetric Groups
2017年
Elementary Induction on Abstract Structures Elementary Induction on Abstract Structures
Elementary Induction on Abstract Structures
2014年
Proof and Computation Proof and Computation
Proof and Computation
2018年