324146
Полнота и аксиоматизируемость неклассических логик с дополнительными логическими связками : диссертация ... доктора физико-математических наук : 01.01.06 Яшин, Александр Данилович
1999, Ижевск
Математика. Диссертация Полнота и аксиоматизируемость неклассических логик с дополнительными логическими связками : диссертация ... доктора физико-математических наук : 01.01.06, Ижевск, 1999