Encyclopedia of Math Encyclopedia sourcePublicationDocument

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

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

Данные

bibliographicCitation

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

author

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

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

← references · 2

← cites · 2