Biblio

Author Title Type [ Year(Asc)]
Filters: Author is Andrei Arsov  [Clear All Filters]
1995
Arsov A.  1995.  Two cut-free modal sequent calculi. Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique. 87(Livre 1 - Mathématiques):165-177.PDF icon 87-165-177.pdf (1.84 MB)

© Faculty of Mathematics and Informatics