Место издания:Изд-во «Русское общество истории и философии науки» Москва
Первая страница:71
Последняя страница:73
Аннотация:В работе обсуждается возможность формулировки логики ДаннаБелнапа,
а также некоторых родственных ей логик в первопорядковом
языке. Исследуется возможность гильбертовской формализации отношений
следования, которые детерминируют указанные логики.