Computability and Unsolvability المزيد من الكتب المشابهة
Theory of Computation
٢٠١٤
Computability
١٩٨٠
A Beginner's Further Guide to Mathematical Logic
٢٠١٧
A Concise Introduction to Mathematical Logic
٢٠١٠
A Logical Introduction to Proof
٢٠١٢
A Course on Mathematical Logic
٢٠١٣
A First Course in Mathematical Logic and Set Theory
٢٠١٥
A Mathematical Introduction to Logic
٢٠٠١
SET THEO & FOUNDATION MATH (V2)
٢٠٢٢
Aspects of Mathematical Logic
٢٠١١
A Course in Mathematical Logic for Mathematicians
٢٠٠٩
Set Theory and Logic
٢٠١٢
Proof and Computation
٢٠١٨
A Beginner's Guide to Mathematical Logic
٢٠١٤
Algebraic and Proof-theoretic Aspects of Non-classical Logics
٢٠٠٧