Файлы
Обратная связь
Для правообладателей
Найти
Пономарев И.Н. Введение в математическую логику и роды структур
Файлы
Академическая и специальная литература
Математика
Математическая логика
Назад
Скачать
Подождите немного. Документ загружается.
§
1.3.
Язык
логики
предикатов
41
становку
терма
вместо
переменной
форму
лируетс
я
следующим
об-
разом:
корректная
по
дст
ановк
а
(
‹
1
2
3
4
5
6
7
8
...
24
25
›