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

Bibliographic Details
Main Authors: Гильберт, Д. Давид (Author), Бернаис, П. Пауль (Author)
Other Authors: Адян, С. И. (Editor)
Format: Book
Language:Russian
Published: М.: Наука 1982
Edition:2-е изд.
Series:Математическая логика и основания математики
Subjects:
Online Access:Перейти в каталог Библиотеки ТУСУР
LEADER 01413nam a2200253 i 4500
001 LibTUSUR0000052017
008 120322u1982 ru_ l000 0yrus d
040 |a Библиотека ТУСУР  |b rus 
100 1 |a Гильберт, Д.  |q Давид  |4 aut 
245 0 0 |a Основания математики. Логические исчисления и формализация арифметики:   |b научное издание/  |c Д. Гильберт, П. Бернаис ; ред. С. И. Адян 
250 |a 2-е изд. 
260 |a М.:  |b Наука  |c 1982 
300 |a 556 с 
440 0 |a Математическая логика и основания математики 
546 |a Пер. с нем 
535 2 |a Библиотека ТУСУР  |d https://lib.tusur.ru 
653 0 |a МАТЕМАТИЧЕСКАЯ ЛОГИКА 
653 0 |a ФУНДАМЕНТАЛЬНАЯ МАТЕМАТИКА 
852 |a Библиотека ТУСУР  |h 510  |i Г 474  |p 204999  |b аунл 
852 |a Библиотека ТУСУР  |h 510  |i Г 474  |p 205000  |b аунл 
080 |a 510.2  |a 510.6 
700 1 |a Бернаис, П.  |q Пауль  |4 aut 
700 1 |a Адян, С. И.  |4 edt 
856 |y Перейти в каталог Библиотеки ТУСУР  |u https://lib.tusur.ru/irbis-new/i64r_15/cgiirbis_64.exe?Z21ID=&P21DBN=LIB&I21DBN=LIB&S21FMT=fullwebr&C21COM=S&2_S21P02=0&2_S21P03=I=&2_S21STR=510/Г 474-928594