Правила форума
В этом разделе
нельзя создавать новые темы. Если Вы хотите задать новый вопрос, то
не дописывайте его в существующую тему, а создайте новую в корневом разделе "Помогите решить/разобраться (М)".
Если Вы зададите новый вопрос в существующей теме, то в случае нарушения оформления или других правил форума Ваше сообщение и все ответы на него могут быть
удалены без предупреждения.Не ищите на этом форуме халяву, правила запрещают участникам публиковать готовые решения стандартных учебных задач. Автор вопроса
обязан привести свои попытки решения и указать конкретные затруднения.
Обязательно просмотрите тему Правила данного раздела, иначе Ваша тема может быть
удалена или перемещена в
Карантин, а Вы так и не узнаете, почему.
|
Mitrius_Math |
Логика второго порядка  28.02.2015, 15:04 |
|
22/05/09
∞
685
|
|
Подскажите, пожалуйста, литературу по логике второго порядка (где кванторы можно навешивать по предикатным и функциональным переменным).
|
|
|
|
 |
|
Lia |
Re: Логика второго порядка 28.02.2015, 23:49 |
|
| Модератор |
 |
20/03/14
8218
|
|
|
|
|
|
alex_dorin |
Re: Логика второго порядка 01.03.2015, 23:28 |
|
08/03/11
272
|
|
Г. Такеути Теория доказательств
|
|
|
|
|
|
Yuri Gendelman |
Re: Логика второго порядка 02.03.2015, 00:34 |
|
| Заслуженный участник |
|
15/05/05
3379
USA
|
Последний раз редактировалось Yuri Gendelman 02.03.2015, 00:42, всего редактировалось 1 раз.
|
|
|
|
|
|
Mitrius_Math |
Re: Логика второго порядка 11.03.2015, 23:13 |
|
22/05/09
∞
685
|
|
Спасибо. Хотелось бы на русском языке. Кроме Такеути, пока ничего не нашёл.
|
|
|
|
|
  |
Страница 1 из 1
|
[ Сообщений: 5 ] |
|
Модераторы: Модераторы Математики, Супермодераторы
