Матэнциклопедия
Источник МатэнциклопедииПубликацияДокумент
в сб.: Математическая теория логического вывода
http://libmeta.ru/resource/mathenc/publication/p6950
Данные
| bibliographicCitation | Гёдель К., в сб.: Математическая теория логического вывода, М., 1967, с. 299-310 |
автор
Входящие связи
← ссылается на · 2
← цитирует · 2