Мельников, Геннадий Прокопьевич. Азбука математической логики / Г. П. Мельников. — Москва : Знание, 1967. — 104 с. : схем.Перед загл. авт.: Г.П. Мельников, канд. техн. наук.УДК: 510.6 [ SYS NUM: 30411 ]