The Work Explicit provability and constructive semantics The details The Author Sergei N. Artemov The offers