Steve Reeves

A list of authors with biographies, life dates, and future collections of all their books.

Author's Books

6

An example of algorithm development in Intuitionistic Type Theory

An example of algorithm development in Intuitionistic Type Theory

Building the Classic Physique

Building the Classic Physique

Propositions as types

Propositions as types

Implementation of a theorem-prover based on semantic tableaux

Implementation of a theorem-prover based on semantic tableaux

Power Walking

Power Walking

Logic for computer science

Logic for computer science