Explore Books on
calculabilité

Logic and computation

By Lawrence C. Paulson

Automata, Languages and Programming: 19th International Colloquium, Wien, Austria, July 13-17, 1992

By W. Kuich

Introduction à la calculabilité

By Pierre Wolper

Logique et fondements de l'informatique

By Richard Lassaigne

Intelligence artificielle et informatique théorique

By Jean-Marc Alliot

Logic and computation

By Workshop on Logic and Computation (1987 Carnegie Mellon University)