TY  - BOOK
AU  - Мельников,Геннадий Прокопьевич
TI  - Азбука математической логики
PY  - 1967///
CY  - Москва
PB  - Знание
N1  - Перед загл. авт.: Г.П. Мельников, канд. техн. наук
ER  -