Все доступные журналы

Общий список журналов сайта Онлайн справочник. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).

• 01:57, 24 марта 2024 EducationBot обсуждение вклад создал страницу Английская Википедия:Hypersequent (Новая страница: «{{Английская Википедия/Панель перехода}} In mathematical logic, the '''hypersequent''' framework is an extension of the proof-theoretical framework of sequent calculi used in structural proof theory to provide analytic calculi for logics that are not captured in the sequent framework. A hypersequent is usually taken to be a finite multiset of ordinary sequ...»)