Switch to: Citations

Add references

You must login to add references.
  1. Grundzüge der theoretischen Logik.D. Hilbert & W. Ackermann - 1928 - Annalen der Philosophie Und Philosophischen Kritik 7:157-157.
    Download  
     
    Export citation  
     
    Bookmark   207 citations  
  • Per Martin-Löf. Intuitionistic type theory. Studies in proof theory. Bibliopolis, Naples1984, ix + 91 pp. [REVIEW]W. A. Howard - 1986 - Journal of Symbolic Logic 51 (4):1075-1076.
    Download  
     
    Export citation  
     
    Bookmark   94 citations