Конструктивная математическая логика с точки зрения классической
Автор:
П.С. Новиков, издатель:
"ЁЁ Медиа", ISBN:
978-5-458-44291-6
Издательство "Наука" в серии "Математическая логика и основания математики" представляет работу, основанную на лекциях П.Новикова , относящихся к классическим логическим исчислениям. В книге исследуется интерпретация конструктивных формальных систем в клас
В наличии: |
|
Sprinter - 1022 руб.
|
Перейти
|
|
|
Рейтинг книги:



4 из 5,
1 голос(-ов).