![](/img/cover-not-exists.png)
[Studies in Logic and the Foundations of Mathematics] Selected Papers on Automath Volume 133 || Description of AUT-68
van Benthem Jutting, L.S.Year:
1994
Language:
english
DOI:
10.1016/s0049-237x(08)70207-6
File:
PDF, 864 KB
english, 1994