RUS  ENG
Полная версия
ЖУРНАЛЫ // Вестник Московского университета. Серия 1: Математика. Механика // Архив
Вестн. Моск. ун-та. Сер. 1. Матем., мех., 1989, номер 5, страницы 83–85 (Mi vmumm2868)
Краткие сообщения

Исчисление предикатов и арифметика с логикой Гжегорчика

Н. А. Панкратьев


УДК: 510.65



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

© МИАН, 2024