Книжкові видання та компакт-диски Журнали та продовжувані видання Автореферати дисертацій Реферативна база даних Наукова періодика України Тематичний навігатор Авторитетний файл імен осіб
|
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Пошуковий запит: (<.>A=Heyting A$<.>) |
Загальна кількість знайдених документів : 2
Представлено документи з 1 до 2
|
1. | Глушков В. М./ІВ7 Heyting, A. Intuitionism. An introduction [Text] / A. Heyting. - Amsterdam : North-Holland Publishing Company, 1956. - VIII, 132 p. : fig. - (Studies in logic and the foundations of mathematics)Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
| 2. | Глушков В.М./ВА469 Гейтинг, А. Интуиционизм [Текст] : введение / А. Гейтинг ; пер. с англ. В. А. Янкова ; под ред. и с коммент. А. А. Маркова. - М. : Мир, 1965. - 200 с. - (Библиотека сборника "Математика"). - Бібліогр.: с. 152-160. - Пер. изд. : Intuitionism : An introduction / Heyting A. - Amsterdam, 1956Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Янков, В. А. (пер.); Марков, А. А. (ред., комент.); Heyting, A.
Видання зберігається у :
Основний фонд
|
|
|