![](/img/cover-not-exists.png)
[Studies in Logic and the Foundations of Mathematics] Selected Papers on Automath Volume 133 || A Verifying Program for Automath
Zandleven, I.Year:
1994
Language:
english
DOI:
10.1016/s0049-237x(08)70226-x
File:
PDF, 702 KB
english, 1994