TY  - BOOK
AU  - Ершов,Юрий Леонидович
AU  - Палютин,Евгений Андреевич
TI  - Математическая логика: [учебное пособие для вузов]
PY  - 1979///
CY  - Москва
PB  - Наука
N1  - Предмет. указ., указ. обозначений: с. 314-320
ER  -