Series:

Study in Logic & Mathematics

2 total works

Cover of Combinatory Logic

Combinatory Logic

by Haskell B. Curry and etc.

Published August 1972

Cover of Outlines of a Formalist Philosophy of Mathematics