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