Проблема логического обоснования дедуктивно-математического знания от античности до XX века логико-математический и философский аспекты

Bibliographic Details
Main Author:	Бирюков, Борис Владимирович 1922-2014
Other Authors:	Бирюкова, Любовь Гавриловна
Format:	Book
Language:	Russian
Published:	Москва Ленанд 2015
Subjects:	математика логико-математическое обоснование бесконечность теория пределов арифметизация анализа аксиоматические методы теория множеств логика как основание математики знание дедуктивное логико-философские исследования философия математики математические доказательства логицизм предикативизм исчисление предикатов финитизм Гильберта программа обоснования математики интуиционизм вычислимость теория алгоритмов конструктивизм логико-математическое знание, диалектика обоснования
Online Access:	Перейти в каталог НБ ТГУ

Holdings details from Научная библиотека ТГУ: Читальный зал 5
Call Number:	510 Б649
	Available Place a Hold

Similar Items