The Work

A basis for a mathematical theory of computation

The details

The Author

The offers