1.

A survay of foundational Gentzen's systems for finitely-valued logicsA survay of foundational Gentzen's systems for finitely-valued logics Find similar objects  |  Add to bibliography

2.

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

3.

Wielosekwentowy rachunek predykatów pierwszego rzęduWielosekwentowy rachunek predykatów pierwszego rzędu Find similar objects  |  Add to bibliography

4.

Założeniowe odrzucanie wyrażeń w skończenie - wartościowej logice zdaniowejZałożeniowe odrzucanie wyrażeń w skończenie - wartościowej logice zdaniowej Find similar objects  |  Add to bibliography

5.

A method of axiomatic rejection of formulas in propositional logicsA method of axiomatic rejection of formulas in propositional logics Find similar objects  |  Add to bibliography

6.

An algebraic characterization of some reducts of three-valued logicsAn algebraic characterization of some reducts of three-valued logics Find similar objects  |  Add to bibliography

7.

The equivalence relation as the set valued by some Heyting algebraThe equivalence relation as the set valued by some Heyting algebra Find similar objects  |  Add to bibliography

8.

Multi-valued n-seqential propositional logicMulti-valued n-seqential propositional logic Find similar objects  |  Add to bibliography

9.

On one construction of rational numbersOn one construction of rational numbers Find similar objects  |  Add to bibliography

10.

Nadrealna cislaNadrealna cisla Find similar objects  |  Add to bibliography

11.

Poznamky ke kurzu matematicke analyzy a nektere aspekty vykladu posloupnosti funkci a funkcnich radPoznamky ke kurzu matematicke analyzy a nektere aspekty vykladu posloupnosti funkci a funkcnich rad Find similar objects  |  Add to bibliography

12.

Reseni problemu v hodinach matematikyReseni problemu v hodinach matematiky Find similar objects  |  Add to bibliography

13.

Propedeutika zakladnich ideji infinitezimalniho poctu na zakladni a stredni skolePropedeutika zakladnich ideji infinitezimalniho poctu na zakladni a stredni skole Find similar objects  |  Add to bibliography

14.

Jiste nasobeni e-variet ortodoxnich pologrup je asociativniJiste nasobeni e-variet ortodoxnich pologrup je asociativni Find similar objects  |  Add to bibliography

15.

Trisequential version of the Bocvar and Hallden logicsTrisequential version of the Bocvar and Hallden logics Find similar objects  |  Add to bibliography