Boolean Reasoning 비슷한 책 더 보기

Proof and Computation Proof and Computation
Proof and Computation
2018년
PROOF AND COMPUTATION II PROOF AND COMPUTATION II
PROOF AND COMPUTATION II
2021년
A First Course in Mathematical Logic and Set Theory A First Course in Mathematical Logic and Set Theory
A First Course in Mathematical Logic and Set Theory
2015년
Completeness Theory for Propositional Logics Completeness Theory for Propositional Logics
Completeness Theory for Propositional Logics
2008년
Gentzen's Centenary Gentzen's Centenary
Gentzen's Centenary
2015년
Aspects of Mathematical Logic Aspects of Mathematical Logic
Aspects of Mathematical Logic
2011년
Proof Theory Proof Theory
Proof Theory
2013년
Rewriting, Computation and Proof Rewriting, Computation and Proof
Rewriting, Computation and Proof
2007년
Advances in Computer Algebra Advances in Computer Algebra
Advances in Computer Algebra
2018년
Automated Reasoning Automated Reasoning
Automated Reasoning
2022년
Twenty Five Years of Constructive Type Theory Twenty Five Years of Constructive Type Theory
Twenty Five Years of Constructive Type Theory
1998년
Typed Lambda Calculi and Applications Typed Lambda Calculi and Applications
Typed Lambda Calculi and Applications
2007년
The Analysis of Fractional Differential Equations The Analysis of Fractional Differential Equations
The Analysis of Fractional Differential Equations
2010년
A Transition to Proof A Transition to Proof
A Transition to Proof
2019년
On the Higher-Order Sheffer Orthogonal Polynomial Sequences On the Higher-Order Sheffer Orthogonal Polynomial Sequences
On the Higher-Order Sheffer Orthogonal Polynomial Sequences
2013년