Encyclopedia of Math Encyclopedia sourcePublicationDocument

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

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

Данные

bibliographicCitation

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

author

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

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

← references · 5

Логические исчисления Математика Независимость системы аксиом Непротиворечивость Неразрешимость

← cites · 5

Логические исчисления Математика Независимость системы аксиом Непротиворечивость Неразрешимость