No JavaScript support!
To take full advantage of this digital library, please verify if your browser supports JavaScript.
loading...
Polish English
Formalization of the Sentential Logic Dual to Łukasiewicz's Three-valued LogicFormalization of the Sentential Logic Dual to Łukasiewicz's Three-valued Logic
Find similar objects | Add to bibliography
Some dual logic without tautologiesSome dual logic without tautologies
Valuation graphs for propositional logicValuation graphs for propositional logic
A characterization of homographic type functionA characterization of homographic type function
Indecomposable projective representations of direct products of finite groups over a ring of formal power seriesIndecomposable projective representations of direct products of finite groups over a ring of formal power series
On connected functions in ordered spacesOn connected functions in ordered spaces
Some counting formulas for finite distributive latticesSome counting formulas for finite distributive lattices
Riemann integrability and quasi-uniform convergenceRiemann integrability and quasi-uniform convergence
The bounded local operators in the Banach space of Holder functionsThe bounded local operators in the Banach space of Holder functions
On some generalizations of Gołąb-Schinzel functional equationOn some generalizations of Gołąb-Schinzel functional equation
[...]-density topology[...]-density topology
Endomorphism monoid of diamond product of two common complete bipartite graphsEndomorphism monoid of diamond product of two common complete bipartite graphs
A note on SI-spaces and MI-spacesA note on SI-spaces and MI-spaces
Axisymmetric solutions to the Cauchy problem for time-fractional diffusion equation in a circleAxisymmetric solutions to the Cauchy problem for time-fractional diffusion equation in a circle
On some specification languages of cryptographic protocolsOn some specification languages of cryptographic protocols