Encyclopedia of Math
Encyclopedia sourcePublicationDocument
в сб.: Математическая теория логического вывода
http://libmeta.ru/resource/mathenc/publication/p6950
Данные
| bibliographicCitation | Гёдель К., в сб.: Математическая теория логического вывода, М., 1967, с. 299-310 |
author
Входящие связи
← references · 2
← cites · 2