PUBLICATIONS DE L'INSTITUT MATHÉMATIQUE (BEOGRAD) (N.S.) Vol. 30(44), pp. 41--52 (1981) |
|
MINIMAL MODAL SYSTEMS IN WHICH HEYTING AND CLASSICAL LOGIC CAN BE EMBEDDEDKosta Do\v senMatematicki 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
|