Рекомендовані теми у межах Вашого пошуку.
Показ 1 - 1 результатів із 1 для пошуку '', час виконання запиту: 0.05сек. Уточнити результати
  1. 1
    First-order sequent calculi of logics of quasiary predicates with extended renominations and equality
    за авторством Shkilniak, О.S., Shkilniak, S.S.
    Опубліковано 2023
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
Інструменти для пошуку: Отримати RSS-стрічку – Відправити пошук е-поштою – Зберегти пошук – Розклад для Розсилок: Не застосовувати