Упражнения по основам математической логики. Формальные системы первого порядка
Михайлов А.Б., Рыжова Н.И., Швецкий М.В.Categories:
Year:
1997
Publisher:
РГПУ
Language:
russian
Pages:
128
File:
DJVU, 2.34 MB
IPFS:
,
russian, 1997