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

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

By Peter Sullivan

Recursive functions and metamathematics

By Roman Murawski

Reachability Problems

By Giorgio Delzanno

Reachability Problems

By Olivier Bournez

Thinking about acting

By John J. Pollock

Decidability and generalized quantifiers

By

A decidable sequent calculus theorem prover using controlled contraction

By Padric Daugherty

Decision problems for equational theories of relation algebras

By H. Andréka

The classical decision problem

By Egon Boerger

Decidability and generalized quantifiers

By Andreas Baudisch

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

Funkcje rekurencyjne i elementy metamatematyki

By Roman Murawski

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