Матэнциклопедия
Источник МатэнциклопедииПубликацияДокумент
Введение в математическую логику
http://libmeta.ru/resource/mathenc/publication/p11932
Данные
| bibliographicCitation | Чёрч А., Введение в математическую логику, пер. с англ., т. 1, М., 1960, § 8 |
автор