Еще
Логотип LiveLibЛоготип LiveLibЛента
Альберт Драгалин - Математический интуиционизм. Введение в теорию доказательств
18+
User AvatarВаша оценка
0
(0)

Математический интуиционизм. Введение в теорию доказательств

Альберт Драгалин
В монографии приводится обзор различных концепций интуиционистской математики, обсуждаются приложения интуиционизма к проблемам оснований математики. Изложение характеризуется высоким уровнем строгости, основные теории описываются в виде формальных

Жанры

Рейтинг LiveLib

0
0 оценок
Эту книгу пока никто не оценил, ваша оценка может стать первой
User AvatarВаша оценка
Хотят прочитать 3

Рецензии

На эту книгу еще нет ни одной рецензии. Ваша может стать первой.

Популярное

Цитаты

Еще не добавлена ни одна цитата из книги. Ваша может стать первой.