Document is current

Glivenko sequent classes in the light of structural proof theory

Crossref DOI link: https://doi.org/10.1007/s00153-016-0474-y

Published Online: 2016-02-09

Published Print: 2016-05

Update policy: https://doi.org/10.1007/springer_crossmark_policy