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

Logical approaches to computational barriers

By Arnold Beckmann,Ulrich Berger,Benedikt Löwe

New computational paradigms

By Barry S. Cooper,Benedikt Löwe

Logic and computation

By Lawrence C. Paulson

The theory of computability

By R. Sommerhalder

Computability with PASCAL

By John S. Mallozzi

Introduction à la calculabilité

By Pierre Wolper

Logique et fondements de l'informatique

By Richard Lassaigne

Computability

By George J. Tourlakis

First Course in Computability (Computer Science Texts)

By V. J. Rayward-Smith

Calculabilité effective et algorithmique théorique

By Patrick Vollat

Mathematical Foundations of Computer Science 1979

By J. Becvar

Theory and Applications of Models of Computation

By Manindra Agrawal

Computability theory

By S. B. Cooper

The limits of computing

By Henry M. Walker

Logic and computation

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

Computability in analysis and physics

By Marian B. Pour-El

Unsolvable classes of quantificational formulas

By Harry R. Lewis

Computability, an introduction to recursive function theory

By Nigel Cutland