К вопросу о парадоксах и к проблеме расширенного исчисления предикатов Д.А. Бочвар — 1957 Matematiceskij sbornik
Об одном трехзначном исчислении и его применении к анализу парадоксов классического расширенного функционального исчисления Д.А. Бочвар Matematiceskij sbornik
Некоторые логические теоремы о нормальных множествах и предикатах Д.А. Бочвар — 1945 Matematiceskij sbornik
К вопросу о непротиворечивости одного трехзначного исчисления Д.А. Бочвар — 1943 Matematiceskij sbornik
К вопросу о парадоксах математической логики и теории множеств Д.А. Бочвар — 1944 Matematiceskij sbornik
Über einen Aussagenkalkül mit abzählbaren logischen Summen und Produkten. Д.А. Бочвар Matematiceskij sbornik
Об антиномиях, основанных на группах определений предикатов, каждое из которых непротиворечиво в отдельности Д.А. Бочвар — 1960 Matematiceskij sbornik