V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics المزيد من الكتب المشابهة

Lectures on the Curry-Howard Isomorphism Lectures on the Curry-Howard Isomorphism
Lectures on the Curry-Howard Isomorphism
٢٠٠٦
Axiomatic Thinking II Axiomatic Thinking II
Axiomatic Thinking II
٢٠٢٢
Twenty Five Years of Constructive Type Theory Twenty Five Years of Constructive Type Theory
Twenty Five Years of Constructive Type Theory
١٩٩٨
Proof and Computation Proof and Computation
Proof and Computation
٢٠١٨
Logic and Algebra Logic and Algebra
Logic and Algebra
٢٠١٧
Logica Universalis Logica Universalis
Logica Universalis
٢٠٠٥
Proof Theory for Fuzzy Logics Proof Theory for Fuzzy Logics
Proof Theory for Fuzzy Logics
٢٠٠٨
Coalgebraic Methods in Computer Science Coalgebraic Methods in Computer Science
Coalgebraic Methods in Computer Science
٢٠١٨
Coalgebraic Methods in Computer Science Coalgebraic Methods in Computer Science
Coalgebraic Methods in Computer Science
٢٠٢٢
Advances in Mathematical Logic Advances in Mathematical Logic
Advances in Mathematical Logic
٢٠٢٢
Quantum Groups and Noncommutative Geometry Quantum Groups and Noncommutative Geometry
Quantum Groups and Noncommutative Geometry
٢٠١٨
Mathematical Problems from Applied Logic II Mathematical Problems from Applied Logic II
Mathematical Problems from Applied Logic II
٢٠٠٧
Positivity and its Applications Positivity and its Applications
Positivity and its Applications
٢٠٢١
Relations: Concrete, Abstract, and Applied Relations: Concrete, Abstract, and Applied
Relations: Concrete, Abstract, and Applied
٢٠٢٠
Algebraic Methods in General Rough Sets Algebraic Methods in General Rough Sets
Algebraic Methods in General Rough Sets
٢٠١٩