И. Я. Депман. Первое знакомство с математической логикой. Изд-во «Знание», 1965, 56 стр.

А. Грошев. Введение в математическую логику и ее технические приложения. Свердловск, 1964, 50 стр.

Г. О. Ефремов. Математическая логика и техника. Изд-во «Знание», 1962, 46 стр.

Л. А. Калужнин. Что такое математическая логика? Изд-во «Наука», 1964, 151 стр.

Э. Беркли. Символическая логика и разумные машины. Изд-во иностр. лит-ры, 1961, 260 стр.

А. Тарский. Введение в логику и методологию дедуктивных наук. Изд-во иностр. лит-ры, 1948, 327 стр.

Д. Т. Калбертсон. Математика и логика информационных устройств, Изд-во «Просвещение», 1965, 267 стр.

П. С. Новиков. Элементы математической логики. Физматгиз, 1959, 400 стр.