Correspondences between gentzen and hilbert systems
scientific article