EN ورود

Decidability

کتاب‌ها

4 نتیجه

Cover of Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Gödel’s Theorems

English Beginner

Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Gödel’s Theorems

Roman Murawski (auth.)

1999 مشاهدهٔ کتاب

Cover of Graph Structure and Monadic Second-Order Logic: A Language-Theoretic Approach (Encyclopedia of Mathematics and its Applications)

English Beginner

Graph Structure and Monadic Second-Order Logic: A Language-Theoretic Approach (Encyclopedia of Mathematics and its Applications)

Bruno Courcelle,Joost Engelfriet

2012 مشاهدهٔ کتاب

Cover of Computability: An Introduction to Recursive Function Theory

English Beginner

Computability: An Introduction to Recursive Function Theory

Nigel Cutland

1980 مشاهدهٔ کتاب

Cover of Computability Theory: An Introduction to Recursion Theory

English Beginner

Computability Theory: An Introduction to Recursion Theory

Herbert B. Enderton

2010 مشاهدهٔ کتاب