Skip to content

Home Practice Lessons About

Steve Reeves

1957

Books

Building the Classic Physique
Propositions as types
Power Walking
Implementation of a theorem-prover based on semantic tableaux
An example of algorithm development in Intuitionistic Type Theory
Logic for computer science

Author data: Open Library

Book Glossary · bookglossary.comA nonprofit resource from Dover Public Library and the Tuscarawas County Literacy Coalition.