Number of the records: 1
A propositional calculus formal deductive system ULhe0,1] of universal logic
- A propositional calculus formal deductive system ULhe0,1] of universal logic
Ma Ying Cang He Huacan C.
ICMLC 2005 : . s.2716-2721
článok zo zborníka
(1) - monografia
article
Number of the records: 1