TY - BOOK AU - Судоплатов, С. В. TI - Классификация счётных моделей полных теорий T2 - Монографии НГТУ SN - 9785778235236 PY - 2018/// CY - Новосибирск PB - НГТУ KW - Математическая логика KW - Модели KW - RU\NLR\AUTH\661533614 KW - В122 ER -