The Work
Logic of Proofs
The details
The Author
Sergei N. Artemov
The offers