No JavaScript support!
To take full advantage of this digital library, please verify if your browser supports JavaScript.
loading...
Polish English
The block tableaux method in finitely many-valued logicsThe block tableaux method in finitely many-valued logics
Find similar objects | Add to bibliography
WstępWstęp
An algebraic characterization of some reducts of three-valued logicsAn algebraic characterization of some reducts of three-valued logics
A method of axiomatic rejection of formulas in propositional logicsA method of axiomatic rejection of formulas in propositional logics
The procedures of the assigvment of tasks distribution for parallel procrssors systemThe procedures of the assigvment of tasks distribution for parallel procrssors system
The principles of creating the critical path of the formationThe principles of creating the critical path of the formation
Multi-valued n-seqential propositional logicMulti-valued n-seqential propositional logic
Realistic approach towards mathematics teachingRealistic approach towards mathematics teaching
On a characterization of the logarithm by a mean value propertyOn a characterization of the logarithm by a mean value property
The stability of Frechet's equationThe stability of Frechet's equation
Quasiarithmetic meanQuasiarithmetic mean
Category approach to RL4-setsCategory approach to RL4-sets
Some classes of linear quasigroupsSome classes of linear quasigroups
The shadowsThe shadows
Przekształcenie afinicznePrzekształcenie afiniczne