Обзоры ВИНИТИ есть на
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