|
|
Вестник Московского университета. Серия 1: Математика. Механика, 1989, номер 5, страницы 83–85
(Mi vmumm2868)
|
|
|
|
Краткие сообщения
Исчисление предикатов и арифметика с логикой Гжегорчика
Н. А. Панкратьев
Образец цитирования:
Н. А. Панкратьев, “Исчисление предикатов и арифметика с логикой Гжегорчика”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 1989, № 5, 83–85
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/vmumm2868 https://www.mathnet.ru/rus/vmumm/y1989/i5/p83
|
|