Заглавие | Two cut-free modal sequent calculi |
Вид публикация | Journal Article |
Година на публикуване | 1995 |
Автори | Arsov A |
Списание | Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique |
Том | 87 |
Start Page | 165 |
Issue | Livre 1 - Mathématiques |
Pagination | 165-177 |
ISSN | 0205-0808 |
Прикачен файл | Размер |
---|---|
87-165-177.pdf | 1.84 MB |