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

View/Open

c5063d0e0df42e4f70a241c130293a17.djvu (5.032Mb)

Date

1979

Author

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

Metadata

Show full item record

Abstract

URI

http://libarch.nmu.org.ua/handle/GenofondUA/64163

Collections

Libgen [81666]