Logics for Computer Science المزيد من الكتب المشابهة

A Course on Mathematical Logic A Course on Mathematical Logic
A Course on Mathematical Logic
٢٠٠٨
A Mathematical Introduction to Logic A Mathematical Introduction to Logic
A Mathematical Introduction to Logic
٢٠٠١
A Concise Introduction to Mathematical Logic A Concise Introduction to Mathematical Logic
A Concise Introduction to Mathematical Logic
٢٠١٠
Fundamentals of Logic and Computation Fundamentals of Logic and Computation
Fundamentals of Logic and Computation
٢٠٢١
Logic for Computer Science Logic for Computer Science
Logic for Computer Science
٢٠١٥
Mathematical Logic Mathematical Logic
Mathematical Logic
٢٠١٠
Logical Foundations of Computer Science Logical Foundations of Computer Science
Logical Foundations of Computer Science
٢٠٠٩
Logic: a Brief Course Logic: a Brief Course
Logic: a Brief Course
٢٠١٢
An Introduction to Substructural Logics An Introduction to Substructural Logics
An Introduction to Substructural Logics
٢٠٠٢
A Course in Mathematical Logic for Mathematicians A Course in Mathematical Logic for Mathematicians
A Course in Mathematical Logic for Mathematicians
٢٠٠٩
Twenty Five Years of Constructive Type Theory Twenty Five Years of Constructive Type Theory
Twenty Five Years of Constructive Type Theory
١٩٩٨
Logic, Language, Information, and Computation Logic, Language, Information, and Computation
Logic, Language, Information, and Computation
٢٠٢٢
Proofs and Algorithms Proofs and Algorithms
Proofs and Algorithms
٢٠١١
Many-Dimensional Modal Logics: Theory and Applications Many-Dimensional Modal Logics: Theory and Applications
Many-Dimensional Modal Logics: Theory and Applications
٢٠٠٣
Proof Theory for Fuzzy Logics Proof Theory for Fuzzy Logics
Proof Theory for Fuzzy Logics
٢٠٠٨