Logic for Computer Science 비슷한 책 더 보기

Fundamentals of Logic and Computation Fundamentals of Logic and Computation
Fundamentals of Logic and Computation
2021년
Mathematical Logic Mathematical Logic
Mathematical Logic
2010년
Logics for Computer Science Logics for Computer Science
Logics for Computer Science
2018년
Proofs and Algorithms Proofs and Algorithms
Proofs and Algorithms
2011년
Proof Complexity Proof Complexity
Proof Complexity
2019년
Logical Foundations of Computer Science Logical Foundations of Computer Science
Logical Foundations of Computer Science
2009년
A Mathematical Introduction to Logic A Mathematical Introduction to Logic
A Mathematical Introduction to Logic
2001년
Many-Dimensional Modal Logics: Theory and Applications Many-Dimensional Modal Logics: Theory and Applications
Many-Dimensional Modal Logics: Theory and Applications
2003년
Computability and Logic Computability and Logic
Computability and Logic
2007년
A Course in Mathematical Logic for Mathematicians A Course in Mathematical Logic for Mathematicians
A Course in Mathematical Logic for Mathematicians
2009년
SET THEO & FOUNDATION MATH (V2) SET THEO & FOUNDATION MATH (V2)
SET THEO & FOUNDATION MATH (V2)
2022년
Sets, Models and Proofs Sets, Models and Proofs
Sets, Models and Proofs
2018년
Set Theory and Logic Set Theory and Logic
Set Theory and Logic
2012년
Computational Logic and Set Theory Computational Logic and Set Theory
Computational Logic and Set Theory
2011년
A Concise Introduction to Mathematical Logic A Concise Introduction to Mathematical Logic
A Concise Introduction to Mathematical Logic
2010년