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

Основания математики. Логические исчисления и формализация арифметики

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

Данные

bibliographicCitation

Гильберт Д., Бернайс П., Основания математики. Логические исчисления и формализация арифметики, пер. с нем., 2 изд., М., 1982

автор

Гильберт Д. Бернайс П.

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

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

← цитирует · 2