Logic Symposia, Hakone, 1979, 1980
Автор
Mueller G.H., Takeuti G., Tugue T.
Год
1981
Страниц
398
ISBN
ISBN10:3540111611
Издатель
Springer
Описание: