V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics More Books Like This

Lectures on the Curry-Howard Isomorphism Lectures on the Curry-Howard Isomorphism
Lectures on the Curry-Howard Isomorphism
2006
Axiomatic Thinking II Axiomatic Thinking II
Axiomatic Thinking II
2022
Twenty Five Years of Constructive Type Theory Twenty Five Years of Constructive Type Theory
Twenty Five Years of Constructive Type Theory
1998
Logic and Algebra Logic and Algebra
Logic and Algebra
2017
Logica Universalis Logica Universalis
Logica Universalis
2005
Proof Theory for Fuzzy Logics Proof Theory for Fuzzy Logics
Proof Theory for Fuzzy Logics
2008
Coalgebraic Methods in Computer Science Coalgebraic Methods in Computer Science
Coalgebraic Methods in Computer Science
2018
Coalgebraic Methods in Computer Science Coalgebraic Methods in Computer Science
Coalgebraic Methods in Computer Science
2022
Advances in Mathematical Logic Advances in Mathematical Logic
Advances in Mathematical Logic
2022
Quantum Groups and Noncommutative Geometry Quantum Groups and Noncommutative Geometry
Quantum Groups and Noncommutative Geometry
2018
Mathematical Problems from Applied Logic II Mathematical Problems from Applied Logic II
Mathematical Problems from Applied Logic II
2007
Positivity and its Applications Positivity and its Applications
Positivity and its Applications
2021
Algebraic Methods in General Rough Sets Algebraic Methods in General Rough Sets
Algebraic Methods in General Rough Sets
2019
Completeness Theory for Propositional Logics Completeness Theory for Propositional Logics
Completeness Theory for Propositional Logics
2008
Applied Proof Theory: Proof Interpretations and their Use in Mathematics Applied Proof Theory: Proof Interpretations and their Use in Mathematics
Applied Proof Theory: Proof Interpretations and their Use in Mathematics
2008