Элементы математической логики и ее приложения к теории субрекурсивных алгоритмов
Косовский Н.КAnnée:
1981
Editeur::
ЛГУ
Langue:
russian
Fichier:
DJVU, 3.03 MB
IPFS:
,
russian, 1981