FA Sign in

Discover references

Decidability

Books

4 results

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 View book

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 View book

Cover of Computability: An Introduction to Recursive Function Theory

English Beginner

Computability: An Introduction to Recursive Function Theory

Nigel Cutland

1980 View book

Cover of Computability Theory: An Introduction to Recursion Theory

English Beginner

Computability Theory: An Introduction to Recursion Theory

Herbert B. Enderton

2010 View book