Explore Books on
fonctions calculables

Noncommutative Polynomial Algebras of Solvable Type and Their Modules

By Huishi Li

Algebraic Computability and Enumeration Models

By Cyrus F. Nourani

Elements of the theory of computation

By Harry R. Lewis

Introduction to Languages and the Theory of Computation

By John C. Martin

Logic and computation

By Lawrence C. Paulson

Logical approaches to computational barriers

By Arnold Beckmann,Ulrich Berger,Benedikt Löwe

New computational paradigms

By Barry S. Cooper,Benedikt Löwe

The theory of computability

By R. Sommerhalder

Computability with PASCAL

By John S. Mallozzi

Introduction à la calculabilité

By Pierre Wolper

Computability theory

By S. B. Cooper

Mathematical Foundations of Computer Science 1979

By J. Becvar

Logique et fondements de l'informatique

By Richard Lassaigne

Unsolvable classes of quantificational formulas

By Harry R. Lewis

First Course in Computability (Computer Science Texts)

By V. J. Rayward-Smith

The limits of computing

By Henry M. Walker

Computability

By George J. Tourlakis

Theory and Applications of Models of Computation

By Manindra Agrawal

Computability in analysis and physics

By Marian B. Pour-El

Calculabilité effective et algorithmique théorique

By Patrick Vollat

Logic and computation

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

Computability, an introduction to recursive function theory

By Nigel Cutland