No JavaScript support!
To take full advantage of this digital library, please verify if your browser supports JavaScript.
loading...
Polish English
Trisequential propositional calculusTrisequential propositional calculus
Find similar objects | Add to bibliography
Spis treściSpis treści
Operacja konsekwencji w trójsekwencyjnym rachunku predykatów ŁukasiewiczaOperacja konsekwencji w trójsekwencyjnym rachunku predykatów Łukasiewicza
Czasopisma NaukoweCzasopisma Naukowe
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
The block tableaux method in finitely many-valued logicsThe block tableaux method in finitely many-valued logics
A method of axiomatic rejection of formulas in propositional logicsA method of axiomatic rejection of formulas in propositional logics
A survay of foundational Gentzen's systems for finitely-valued logicsA survay of foundational Gentzen's systems for finitely-valued logics
Wielosekwentowy rachunek predykatów pierwszego rzęduWielosekwentowy rachunek predykatów pierwszego rzędu