Model-theoretic characterization of intuitionistic predicate formulas

Результат исследований: Вклад в журналСтатья

4 Цитирования (Scopus)
Язык оригиналаАнглийский
Страницы (с-по)809-829
Число страниц21
ЖурналJournal of Logic and Computation
Том24
Номер выпуска4
DOI
СостояниеОпубликовано - авг 2014

Предметные области ASJC Scopus

  • Logic
  • Hardware and Architecture
  • Arts and Humanities (miscellaneous)
  • Theoretical Computer Science

Fingerprint Подробные сведения о темах исследования «Model-theoretic characterization of intuitionistic predicate formulas». Вместе они формируют уникальный семантический отпечаток (fingerprint).

Цитировать