Explore Books on
decidability (mathematical logic)

Gödel's proof

By Ernest Nagel,James Roy Newman

Reachability Problems

By Parosh Aziz Abdulla,Igor Potapov

Deducibility and Decidability

By R. R. Rockingham Gill

Thinking about Acting

By John L. Pollock

Classical Decision Problem

By Egon Börger,Erich Grädel,Yuri Gurevich

Reachability Problems

By Giorgio Delzanno

Reachability Problems

By Olivier Bournez

New Essays On The Philosophy Of Michael Dummett.(Grazer Philosophische Studien 55)

By Peter Sullivan

Thinking about acting

By John J. Pollock

The undecidability of the domino problem

By Robert Berger

Recursive functions and metamathematics

By Roman Murawski

Decidability and generalized quantifiers

By

Decision problems for equational theories of relation algebras

By H. Andréka

The classical decision problem

By Egon Boerger

Countable Boolean algebras and decidability

By S. S. Goncharov

Induction, Bounding, Weak Combinatorial Principles, and the Homogeneous Model Theorem

By Denis R. Hirschfeldt,Karen Lange,Richard A. Shore

Decidability and Boolean representations

By Stanley Burris

Cornerstones of undecidability

By Grzegorz Rozenberg

Decision problems for equational theories of relation algebras

By H. Andréka

Cinq conférences sur l'indécidabilité

By Nicolas Bouleau

Recursive Functions and Metamathematics

By Roman Murawski

Schetnye bulevy algebry i razreshimostʹ

By S. S. Goncharov

The classical decision problem

By E. Börger

Logically motivated varieties with decidable finite algebras

By Paweł Idziak