Switch to: Citations

Add references

You must login to add references.
  1. [product]¹2-logic, Part 1: Dilators.Jean-Yves Girard - 1981 - Annals of Mathematical Logic 21 (2):75.
    Download  
     
    Export citation  
     
    Bookmark   51 citations  
  • Π12-logic, Part 1: Dilators.Jean-Yves Girard - 1981 - Annals of Mathematical Logic 21 (2-3):75-219.
    Download  
     
    Export citation  
     
    Bookmark   50 citations