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

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

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

Данные

bibliographicCitation

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

автор

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

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

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

Неформальный аксиоматический метод

← цитирует · 1

Неформальный аксиоматический метод