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

Thumbnail
Mostra/Apri
Data
1979
Autore
Гильберт Д., Бернайс П.
Metadata
Mostra tutti i dati dell'item
Abstract
 
URI
http://libarch.nmu.org.ua/handle/GenofondUA/64163
Collections