|
Глушков В. М./ІВ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)Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
|
|