Filters

Advanced Search Browse by Genre

Found 6,530 results for "Computer logic"

The Essential Turing
The Essential Turing

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...

2002 6 ed.
Computability and logic
Computability and logic

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, ...

1974 19 ed.
Computational logic
Computational logic

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...

1999 3 ed.
What Makes Us Smart
What Makes Us Smart

by Samuel Gershman

2021 3 ed.