Изв. вузов. Матем.,
1979, номер 1, страницы 54–60
(Mi ivm5245)
|
О некотором исчислении одноместных предикатов
А. Г. Пинус г. Новосибирск
УДК:
519.71 Поступила: 07.05.1976
Англоязычная версия:
Soviet Mathematics (Izvestiya VUZ. Matematika), 1979,
23:1,
43–47
Реферативные базы данных:
© , 2024