No JavaScript support!
To take full advantage of this digital library, please verify if your browser supports JavaScript.
loading...
Polish English
Trisequential version of the Bocvar and Hallden logicsTrisequential version of the Bocvar and Hallden logics
Find similar objects | Add to bibliography
Operacja konsekwencji w trójsekwencyjnym rachunku predykatów ŁukasiewiczaOperacja konsekwencji w trójsekwencyjnym rachunku predykatów Łukasiewicza
Spis treściSpis treści
WstępWstęp
On medical BCI-algebrasOn medical BCI-algebras
Principle of triple entry in the theory of accountingPrinciple of triple entry in the theory of accounting
The problem of distribution of goodsThe problem of distribution of goods
The problem of distribution of indivisible goodsThe problem of distribution of indivisible goods
AutometersAutometers
On para-associative BCI-algebrasOn para-associative BCI-algebras
A method of axiomatic rejection of formulas in propositional logicsA method of axiomatic rejection of formulas in propositional logics
Multi-valued n-seqential propositional logicMulti-valued n-seqential propositional logic
Wielosekwentowy rachunek predykatów pierwszego rzęduWielosekwentowy rachunek predykatów pierwszego rzędu
Invariant measures of the sigma-field of Christensen measurable setsInvariant measures of the sigma-field of Christensen measurable sets
Aksjomatyzacja rachunku zdaniowego dualnego względem klasycznego implikacyjno-negacyjnego rachunku zdańAksjomatyzacja rachunku zdaniowego dualnego względem klasycznego implikacyjno-negacyjnego rachunku zdań