1.

WstępWstęp Find similar objects  |  Add to bibliography

2.

Multi-valued n-seqential propositional logicMulti-valued n-seqential propositional logic Find similar objects  |  Add to bibliography

3.

An algebraic characterization of some reducts of three-valued logicsAn algebraic characterization of some reducts of three-valued logics Find similar objects  |  Add to bibliography

4.

On a three-valued internal logic of programsOn a three-valued internal logic of programs Find similar objects  |  Add to bibliography

5.

Semiotic and didactic model of mathematical expressionsSemiotic and didactic model of mathematical expressions Find similar objects  |  Add to bibliography

6.

On some generalization of BCC-algebrasOn some generalization of BCC-algebras Find similar objects  |  Add to bibliography

7.

Podzbiory przybliżone zbiorów przybliżonychPodzbiory przybliżone zbiorów przybliżonych Find similar objects  |  Add to bibliography

8.

Remarks on the axioms system for BCI-algebrasRemarks on the axioms system for BCI-algebras Find similar objects  |  Add to bibliography

9.

Remarks on BCI-algebrasRemarks on BCI-algebras Find similar objects  |  Add to bibliography

10.

Remarks on permutable n-groupsRemarks on permutable n-groups Find similar objects  |  Add to bibliography

11.

WstępWstęp Find similar objects  |  Add to bibliography

12.

WstępWstęp Find similar objects  |  Add to bibliography

13.

The block tableaux method in finitely many-valued logicsThe block tableaux method in finitely many-valued logics Find similar objects  |  Add to bibliography

14.

Wielosekwentowy rachunek predykatów pierwszego rzęduWielosekwentowy rachunek predykatów pierwszego rzędu Find similar objects  |  Add to bibliography

15.

Założeniowe odrzucanie wyrażeń w skończenie - wartościowej logice zdaniowejZałożeniowe odrzucanie wyrażeń w skończenie - wartościowej logice zdaniowej Find similar objects  |  Add to bibliography