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

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
Proof and Computation Proof and Computation
Proof and Computation
2018
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
Relations: Concrete, Abstract, and Applied Relations: Concrete, Abstract, and Applied
Relations: Concrete, Abstract, and Applied
2020
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