PUBLICATIONS DE L'INSTITUT MATHÉMATIQUE (BEOGRAD) (N.S.) Vol. 29(43), pp. 23--28 (1981) |
|
EQUATIONAL REFORMULATIONS OF INTUITIONISTIC PROPOSITIONAL CALCULUS AND CLASSICAL FIRST-ORDER PREDICATE CALCULUSBranislav R. Borici\'cEkonomski fakultet, 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
|