|
|
|
|
| LEADER |
02727nam a2200529 c 4500 |
| 001 |
vtls000511397 |
| 003 |
RU-ToGU |
| 005 |
20210922073505.0 |
| 008 |
150828s2015 ru f b 000 0 rus d |
| 020 |
|
|
|a 9785971009641
|
| 035 |
|
|
|a to000511397
|
| 039 |
|
9 |
|a 201804181437
|c 201804181437
|d cat31
|c 201801241157
|d cat31
|c 201612081600
|d cat31
|y 201508281323
|z Александр Эльверович Гилязов
|
| 040 |
|
|
|a RU-ToGU
|b rus
|c RU-ToGU
|
| 080 |
|
|
|a 510.2:162(091)
|
| 080 |
|
|
|a 510.6(091)
|
| 100 |
1 |
|
|a Бирюков, Борис Владимирович
|d 1922-2014
|9 98495
|
| 245 |
1 |
0 |
|a Проблема логического обоснования дедуктивно-математического знания от античности до XX века
|b логико-математический и философский аспекты
|c Б. В. Бирюков, Л. Г. Бирюкова
|
| 260 |
|
|
|a Москва
|b Ленанд
|c 2015
|9 689840
|
| 300 |
|
|
|a 230 с.
|
| 504 |
|
|
|a Библиогр. в подстроч. примеч.
|
| 653 |
|
|
|a математика
|
| 653 |
|
|
|a логико-математическое обоснование
|
| 653 |
|
|
|a бесконечность
|
| 653 |
|
|
|a теория пределов
|
| 653 |
|
|
|a арифметизация анализа
|
| 653 |
|
|
|a аксиоматические методы
|
| 653 |
|
|
|a теория множеств
|
| 653 |
|
|
|a логика как основание математики
|
| 653 |
|
|
|a знание дедуктивное
|
| 653 |
|
|
|a логико-философские исследования
|
| 653 |
|
|
|a философия математики
|
| 653 |
|
|
|a математические доказательства
|
| 653 |
|
|
|a логицизм
|
| 653 |
|
|
|a предикативизм
|
| 653 |
|
|
|a исчисление предикатов
|
| 653 |
|
|
|a финитизм
|
| 653 |
|
|
|a Гильберта программа обоснования математики
|
| 653 |
|
|
|a интуиционизм
|
| 653 |
|
|
|a вычислимость
|
| 653 |
|
|
|a теория алгоритмов
|
| 653 |
|
|
|a конструктивизм
|
| 653 |
|
|
|a логико-математическое знание, диалектика обоснования
|
| 700 |
1 |
|
|a Бирюкова, Любовь Гавриловна.
|9 273043
|
| 852 |
4 |
|
|a RU-ToGU
|h 510
|i Б649
|n ru
|
| 856 |
|
|
|y Перейти в каталог НБ ТГУ
|u https://koha.lib.tsu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=375856
|
| 999 |
|
|
|c 375856
|d 375856
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 510_Б649
|7 0
|9 613044
|a RU-ToGU
|b RU-ToGU
|c 10005
|d 2021-04-04
|g 414.00
|l 0
|o 510 Б649
|p 13820000898834
|r 2023-08-04
|w 2021-04-04
|y 9
|
