Поиск

Symposium on Foundations of Mathematics

Заказ Местонахождение Краткая информация
Маркер записи n
Контрольный номер RU/IS/BASE/521734449
Дата корректировки 16:03:38 9 февраля 2018 г.
Цена, тираж 3-36
Служба первич. каталог. Перепелкина
БГТУ
Код языка каталог. eng
Правила каталог. PSBO
Код языка издания eng
rus
deu/ger
Индекс УДК 51
Полочн. индекс 51
Авторский знак I-60
Infinitistic Methods
Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2-9 September 1959
International Mathematical Union ; Mathematical Institute of the Polis Academy of Sciences
Text
Место издания New York ; Warszawa
Издательство Pergamon Press : Panstwowe Wydawnictwo Naukowe
Дата издания оригинала [1961]
Объем 362 p.
Иллюстрации/ тип воспроизводства ill.
Аннотация This volume is concerned generally with infinistic methods in the foundations of mathematics. At the symposium were discussed works which use mathematical tools, commonly thought of as non-constructive ; for example - inaccessible cardinals, infinitistic rules of proof, higher classes of number-theoretic and function-theoretic hierarchies of predicates etc.
методы решения пределов
бесконечные пределы
высшая математика
логические исчисления
математический анализ
Организация/ юрисдикция International Mathematical Union
Polish Academy of Sciences
Mathematical Institute
Название мероприятия Symposium on Foundations of Mathematics
Место мероприятия Warsaw
Дата мероприятия 1959
Дата работы 2-9 September
Тип документа m