Many-Dimensional Modal Logics: Theory and Applications 비슷한 책 더 보기
Logical Foundations of Computer Science
2009년
Logic, Language, Information, and Computation
2022년
A Course in Mathematical Logic for Mathematicians
2009년
Algebraic and Proof-theoretic Aspects of Non-classical Logics
2007년
Logic and Algebra
2017년
Sets, Models and Proofs
2018년
Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs
2021년
Revolutions and Revelations in Computability
2022년
Computable Structures and the Hyperarithmetical Hierarchy
2000년
Sets And Computations
2017년
Proof and Computation
2018년
Mathematical Logic and Theoretical Computer Science
2020년
Advances in Mathematical Logic
2022년
Residuated Lattices: An Algebraic Glimpse at Substructural Logics
2007년
A Mathematical Introduction to Logic
2001년