English
Beginner
Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Gödel’s Theorems
Roman Murawski (auth.)
1999
مشاهدهٔ کتاب
کشف منابع
Decidability
کتابها
4 نتیجه
English
Beginner
Graph Structure and Monadic Second-Order Logic: A Language-Theoretic Approach (Encyclopedia of Mathematics and its Applications)
Bruno Courcelle,Joost Engelfriet
2012
مشاهدهٔ کتاب
English
Beginner
Computability: An Introduction to Recursive Function Theory
Nigel Cutland
1980
مشاهدهٔ کتاب
English
Beginner
Computability Theory: An Introduction to Recursion Theory
Herbert B. Enderton
2010
مشاهدهٔ کتاب