Упражнения по основам математической логики. Формальные системы первого порядка
Михайлов А.Б., Рыжова Н.И., Швецкий М.В.Kateqoriyalar:
İl:
1997
Nəşriyyat:
РГПУ
Dil:
russian
Səhifələr:
128
Fayl:
DJVU, 2.34 MB
IPFS:
,
russian, 1997