Switch to: Citations

References in:

Martin-Löf on the Validity of Inference

In Antonio Piccolomini D'Aragona (ed.), Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theories of Deduction. Springer Verlag. pp. 171-185 (2024)

Add references

You must login to add references.
  1. Intuitionistic Type Theory.Per Martin-Löf - 1980 - Bibliopolis.
    Download  
     
    Export citation  
     
    Bookmark   115 citations  
  • Inference versus Consequence.B. G. Sundholm - unknown
    Download  
     
    Export citation  
     
    Bookmark   16 citations