Введения 1929 года

Арифметика пресбургера Определение Пресбургской Арифметики Пресбургская арифметика – это система арифметических операций, основанная на предикатах.  Пресбургская арифметика была предложена Пресбургером […]