Number:

CS 49/92

Author(s):

MINTS, Gregory, TUPAILO, Sergei.

Title:

Normalization for the first order classical logic with Hilbert's epsilon-symbol. 10p.

Language:

English