1.

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

2.

WstępWstęp Find similar objects  |  Add to bibliography

3.

WstępWstęp Find similar objects  |  Add to bibliography

4.

WstępWstęp Find similar objects  |  Add to bibliography

5.

Knot Point Method in Extrapolation of Boundary Measurement ResultsKnot Point Method in Extrapolation of Boundary Measurement Results Find similar objects  |  Add to bibliography

6.

On Some Crypto-Messages ParserOn Some Crypto-Messages Parser Find similar objects  |  Add to bibliography

7.

Verifying Untimed Version of the WMF Protocol Using Networks of AutomataVerifying Untimed Version of the WMF Protocol Using Networks of Automata Find similar objects  |  Add to bibliography

8.

On Some Special Morphisms Between Groups and AlgebrasOn Some Special Morphisms Between Groups and Algebras Find similar objects  |  Add to bibliography

9.

About Two Different Ways of Characterization of Łukasiewicz's Three-valued Modal Propositional CalculusAbout Two Different Ways of Characterization of Łukasiewicz's Three-valued Modal Propositional Calculus Find similar objects  |  Add to bibliography

10.

Some Propositional Calculus Oppositional with Respect to the Intuitionistic Propositional CalculusSome Propositional Calculus Oppositional with Respect to the Intuitionistic Propositional Calculus Find similar objects  |  Add to bibliography

11.

Modeling of Crystal Defects in Nonlocal Elasticity: A ReviewModeling of Crystal Defects in Nonlocal Elasticity: A Review Find similar objects  |  Add to bibliography

12.

W - irreducible LatticesW - irreducible Lattices Find similar objects  |  Add to bibliography

13.

On Associative Rational FunctionsOn Associative Rational Functions Find similar objects  |  Add to bibliography

14.

Sublinear Functionals and Weak* - compactnessSublinear Functionals and Weak* - compactness Find similar objects  |  Add to bibliography