|   |  PUBLICATIONS DE L'INSTITUT MATHÉMATIQUE (BEOGRAD) (N.S.) Vol. 30(44), pp. 65--67 (1981) | 
|  | A TABLEAUX SYSTEM IN MODAL LOGICMiodrag Kapetanovi\'cMatematicki institut SANU, Beograd, YugoslaviaFull text of the article: 
 Electronic fulltext finalized on: 3 Nov 2001. This page was last modified: 16 Nov 2001. 
© 2001 Mathematical Institute of the Serbian Academy of Science and Arts
 |