Advances in Proof Theory More Books Like This

Logic and Its Applications Logic and Its Applications
Logic and Its Applications
2019
Logical Foundations of Computer Science Logical Foundations of Computer Science
Logical Foundations of Computer Science
2017
Gentzen's Centenary Gentzen's Centenary
Gentzen's Centenary
2015
Logic, Language, Information, and Computation Logic, Language, Information, and Computation
Logic, Language, Information, and Computation
2017
Logic, Language, Information, and Computation Logic, Language, Information, and Computation
Logic, Language, Information, and Computation
2018
Logical Foundations of Computer Science Logical Foundations of Computer Science
Logical Foundations of Computer Science
2015
Logic, Language, Information, and Computation Logic, Language, Information, and Computation
Logic, Language, Information, and Computation
2016
Philosophical Logic: Current Trends in Asia Philosophical Logic: Current Trends in Asia
Philosophical Logic: Current Trends in Asia
2017
Logic and Its Applications Logic and Its Applications
Logic and Its Applications
2016
Feferman on Foundations Feferman on Foundations
Feferman on Foundations
2018
Decidability of Logical Theories and Their Combination Decidability of Logical Theories and Their Combination
Decidability of Logical Theories and Their Combination
2020
Automated Reasoning with Analytic Tableaux and Related Methods Automated Reasoning with Analytic Tableaux and Related Methods
Automated Reasoning with Analytic Tableaux and Related Methods
2017
Logic and Its Applications Logic and Its Applications
Logic and Its Applications
2023
Modality, Semantics and Interpretations Modality, Semantics and Interpretations
Modality, Semantics and Interpretations
2015
Paraconsistent Logic: Consistency, Contradiction and Negation Paraconsistent Logic: Consistency, Contradiction and Negation
Paraconsistent Logic: Consistency, Contradiction and Negation
2016