Switch to: Citations

Add references

You must login to add references.
  1. (1 other version)Hauptsatz for higher order logic.Dag Prawitz - 1968 - Journal of Symbolic Logic 33 (3):452-457.
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  • Completeness of relevant quantification theories.Robert K. Meyer, J. Michael Dunn & Hugues Leblanc - 1974 - Notre Dame Journal of Formal Logic 15 (1):97-121.
    Download  
     
    Export citation  
     
    Bookmark   26 citations