Кангеровский вариант исчисления предикатов с символами для не всюду определенных функций

Р. А. Плюшкевичус

Реферативные базы данных:

• 
•