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