Еще
Логотип LiveLibЛоготип LiveLibЛента
Петр Новиков - Конструктивная математическая логика с точки зрения классической
18+
User AvatarВаша оценка
0
(0)

Конструктивная математическая логика с точки зрения классической

Петр Новиков
Книга написана на основе лекций, читавшихся П.С.Новиковым в МГУ. В ней излагаются некоторые аспекты математической логики, не рассмотренные в его предыдущей книге `Элементы математической логики`. В этом смысле она как бы дополняет предыдущую книгу. В то же время книгу можно читать независимо, так как в ней подробно излагается весь нужный по ходу дела материал, относящийся к классическим логическим исчислениям. В книге рассматриваются интерпретации конструктивных формальных систем в классических...

Жанры

Издательство:

Главная редакция физико-математической литературы издательства "Наука"

Серия:

Математическая логика и основания математики

Год издания:

1977

Язык:

Русский

Твердый переплет, суперобложка, 328 стр.

Тираж: 14000 экз.

Формат: 84x108/32 (130х200 мм)

Возрастные ограничения:

18+

Содержание

Рейтинг LiveLib

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

Рецензии

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

Популярное

Цитаты

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

Другие издания

  • Конструктивная математическая логика с точки зрения классической