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
Investigation of routes on various gridsInvestigation of routes on various grids
The shadowsThe shadows
Przekształcenie afinicznePrzekształcenie afiniczne
The stability of Frechet's equationThe stability of Frechet's equation
Some classes of linear quasigroupsSome classes of linear quasigroups
On a characterization of the logarithm by a mean value propertyOn a characterization of the logarithm by a mean value property
Quasiarithmetic meanQuasiarithmetic mean