Encyclopedia of Math
Encyclopedia sourcePublicationDocument
в кн.: Математическая теория логического вывода, Сб. переводов
http://libmeta.ru/resource/mathenc/publication/p4706
Данные
| bibliographicCitation | Генцен Г., в кн.: Математическая теория логического вывода, Сб. переводов, М., 1967, с. а-76 |
author