![](/img/cover-not-exists.png)
[Lecture Notes in Computer Science] Computational Logic and Proof Theory Volume 713 || Building up a tool-box for Martin-Löf's type theory (abstract)
Gottlob, Georg, Leitsch, Alexander, Mundici, DanieleVolume:
10.1007/BF
Year:
1993
Language:
english
DOI:
10.1007/bfb0022555
File:
PDF, 85 KB
english, 1993