Матэнциклопедия Источник МатэнциклопедииПубликацияДокумент

Математическая логика

http://libmeta.ru/resource/mathenc/publication/p2664

Данные

bibliographicCitation

Клини С. К., Математическая логика, пер. с англ., М., 1973

автор

Клини С. К.

Входящие связи

← ссылается на · 5

Арифметика Доказательств теория Общезначимость Предметная область Универсальное множество

← цитирует · 5

Арифметика Доказательств теория Общезначимость Предметная область Универсальное множество