Маркер записи | 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 |