Switch to: References

Add citations

You must login to add citations.
  1. Weak Arithmetical Interpretations for the Logic of Proofs.Roman Kuznets & Thomas Studer - 2016 - Logic Journal of the IGPL 24 (3):424-440.