• русский
    • українська
    • English
    • Deutsch
    • español
    • italiano
  • English 
    • русский
    • українська
    • English
    • Deutsch
    • español
    • italiano
  • Login
View Item 
  •   DSpace Home
  • Genofond
  • Libgen
  • View Item
  •   DSpace Home
  • Genofond
  • Libgen
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Основания математики, в 2-х томах. Том 1. Логические исчисления и формализация арифметики

Thumbnail
View/Open
7cd687d04c900d6a062198f01697270f.djvu (5.799Mb)
Date
1979
Author
Гильберт Д., Бернайс П.
Metadata
Show full item record
Abstract
Аннотация Двухтомная монография Д. Гильберта и П. Бернайса занимает уникальное место в мировой математической литературе. Ее первое немецкое издание, вышедшее в тридцатых годах, подвело итог процессу становления математической логики как самостоятельной математической дисциплины со своей проблематикой и своими методами. Эта книга оказала решающее влияние на дальнейшее развитие математической логики. Другие книги по данной тематике на сайте: Идельсон А.В. Математическая теория логического вывода. Математическая логика и основания математики Пойа Дж. Математика и правдоподобные рассуждения Грэхем Р., Кнут Д., Паташник О. Конкретная математика. Основание информатики Мацнев А.П. Математическая логика и теория алгоритмов
URI
http://ir.nmu.org.ua/handle/GenofondUA/53990
Collections
  • Libgen [81666]

DSpace software copyright © 2002-2016  DuraSpace
Contact Us | Send Feedback
Theme by 
Atmire NV
 

 

Browse

All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

My Account

LoginRegister

DSpace software copyright © 2002-2016  DuraSpace
Contact Us | Send Feedback
Theme by 
Atmire NV