Упражнения по основам математической логики. Формальные системы первого порядка
Михайлов А.Б., Рыжова Н.И., Швецкий М.В.Κατηγορίες:
Έτος:
1997
Εκδότης:
РГПУ
Γλώσσα:
russian
Σελίδες:
128
Αρχείο:
DJVU, 2.34 MB
IPFS:
,
russian, 1997