All public logs
Jump to navigation
Jump to search
Combined display of all available logs of PKC. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).
- 02:42, 22 February 2022 Benkoo talk contribs created page Book/Intuitionistic Type Theory (Created page with "{{cite book |title=Intuitionistic type theory |last=Martin-Löf |date=1980 |url=http://www.cs.cmu.edu/afs/cs/Web/People/crary/819-f09/Martin-Lof80.pdf |publisher=Springer |lo...")