Towards Mathematical Philosophy More Books Like This

PROOF AND COMPUTATION II PROOF AND COMPUTATION II
PROOF AND COMPUTATION II
2021
Analysis and Synthesis of Logics Analysis and Synthesis of Logics
Analysis and Synthesis of Logics
2008
Logica Universalis Logica Universalis
Logica Universalis
2005
Foundations of Software Science and Computational Structures Foundations of Software Science and Computational Structures
Foundations of Software Science and Computational Structures
2010
Proof and Computation Proof and Computation
Proof and Computation
2018
Typed Lambda Calculi and Applications Typed Lambda Calculi and Applications
Typed Lambda Calculi and Applications
2007
Twenty Five Years of Constructive Type Theory Twenty Five Years of Constructive Type Theory
Twenty Five Years of Constructive Type Theory
1998
Gentzen's Centenary Gentzen's Centenary
Gentzen's Centenary
2015
Typed Lambda Calculi and Applications Typed Lambda Calculi and Applications
Typed Lambda Calculi and Applications
2011
Relations and Kleene Algebra in Computer Science Relations and Kleene Algebra in Computer Science
Relations and Kleene Algebra in Computer Science
2009
Rewriting, Computation and Proof Rewriting, Computation and Proof
Rewriting, Computation and Proof
2007
Automated Reasoning Automated Reasoning
Automated Reasoning
2022
Logical Foundations of Computer Science Logical Foundations of Computer Science
Logical Foundations of Computer Science
2017
Proof Theory for Fuzzy Logics Proof Theory for Fuzzy Logics
Proof Theory for Fuzzy Logics
2008
Aspects of Mathematical Logic Aspects of Mathematical Logic
Aspects of Mathematical Logic
2011