libcats.org
Главная →
Selected Papers on Automath (Studies in Logic and the Foundations of Mathematics)
Selected Papers on Automath (Studies in Logic and the Foundations of Mathematics)
R.P. Nederpelt, J.H. Geuvers, R.C. de Vrijer
Ссылка удалена правообладателем
----
The book removed at the request of the copyright holder.
Популярные книги за неделю:
Только что пользователи скачали эти книги:
|
