Терлецький, Д.О.
(Компьютерная математика, 2013)
Пропонується деяке розширення та формалізація класичної теорії множин у вигляді конструктивної її версії (CST) в якій вводиться новий рівень – рівень об’єктів, які є складовими для створення множин; концепція класу об’єктів, ...