Современное состояние оснований математики

[Rasool]

Раньше в РЖ ВИНИТИ была рубрика "Основания математики и математическая логика", код рубрики 11А33. Каково сейчас
современное состояние оснований математики, формальных систем? Есть ли журналы на эту тему в России, а также в издательстве Elsevier?

[maxal]

Обзоры ВИНИТИ есть на http://www.mathnet.ru
Там же живут основные русскоязычные математические журналы.

Журналы издательства Elsevier легко находятся поиском на http://sciencedirect.com
Например, "formal systems" содержат в названии следующие журналы:
Mathematical Interpretation of Formal Systems
Computer Programming and Formal Systems
Computer Programming and Formal Systems
Formal Systems and Recursive Functions

[Rasool]

maxal в сообщении #339029 писал(а):

Обзоры ВИНИТИ есть на http://www.mathnet.ru
Там же живут основные русскоязычные математические журналы.

Спасибо.

maxal в сообщении #339029 писал(а):

Журналы издательства Elsevier легко находятся поиском на http://sciencedirect.com
Например, "formal systems" содержат в названии следующие журналы:
Mathematical Interpretation of Formal Systems
Computer Programming and Formal Systems
Computer Programming and Formal Systems
Formal Systems and Recursive Functions

А по основаниям математики нет специальных журналов? И как, кстати, будет по английски "Основания математики"?

-- Вт июл 13, 2010 22:34:42 --

Все, по ВИНИТИ я нашел и по основаниям математики и по математической кибернетике: http://science.viniti.ru/index.php?option=com_content&task=view&id=1501&Itemid=97

[maxal]

Rasool в сообщении #339033 писал(а):

А по основаниям математики нет специальных журналов? И как, кстати, будет по английски "Основания математики"?

Основания математики - это foundations of mathematics.
Есть, например, такой журнал:
Studies in Logic and the Foundations of Mathematics

[Rasool]

maxal в сообщении #339035 писал(а):

Rasool в сообщении #339033 писал(а):

А по основаниям математики нет специальных журналов? И как, кстати, будет по английски "Основания математики"?

Основания математики - это foundations of mathematics.
Есть, например, такой журнал:
Studies in Logic and the Foundations of Mathematics

О, спасибо! (Я так и думал, что "foundations".)