The Calculus of Computation المزيد من الكتب المشابهة

Logical Foundations of Computer Science

٢٠٠٩

A Course in Mathematical Logic for Mathematicians

٢٠٠٩

Logic, Language, Information, and Computation

٢٠٢٢

Fundamentals of Logic and Computation

٢٠٢١

Proof and Computation

٢٠١٨

Revolutions and Revelations in Computability

٢٠٢٢

Algebraic and Proof-theoretic Aspects of Non-classical Logics

٢٠٠٧

Coalgebraic Methods in Computer Science

٢٠١٨

Temporal Logic and State Systems

٢٠٠٨

Many-Dimensional Modal Logics: Theory and Applications

٢٠٠٣

Logic and Algebra

٢٠١٧

Sets, Models and Proofs

٢٠١٨

Theory of Computation

٢٠١٤

Mathematical Logic and Theoretical Computer Science

٢٠٢٠

An Introduction to the Analysis of Algorithms

٢٠١٨