"Recherches sur la déduction logique" - читать интересную книгу автора (Gentzen, G. Traduction et commentaires par R. Feys et J. Ladrière)