Found 6,478 results for "Computational logic"
by Alan Mathison Turing, Jack Copeland
The "computable" numbers may be described briefly as the real numbers whose expressions as a decimal are calculable by f...
by George Boolos, Richard C. Jeffrey
An enumerable set is one whose members can be enumerated: arranged in a single list with a first entry, a second entry, ...
by Ulrich Berger, Helmut Schwichtenberg
The aim of this chapter is to give an introduction to some recent work on the application of game semantics to the study...