1.

The block tableaux method in finitely many-valued logicsThe block tableaux method in finitely many-valued logics Find similar objects  |  Add to bibliography

2.

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

3.

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

4.

Liczba relacji binarnych niektórych typów w zbiorze skończonymLiczba relacji binarnych niektórych typów w zbiorze skończonym Find similar objects  |  Add to bibliography

5.

Wykorzystanie idei odrzucania zdań w procesie dydaktycznymWykorzystanie idei odrzucania zdań w procesie dydaktycznym Find similar objects  |  Add to bibliography

6.

O dwóch metodach geometrycznych rozwiązywania zadań tekstowychO dwóch metodach geometrycznych rozwiązywania zadań tekstowych Find similar objects  |  Add to bibliography

7.

Rachunek refutacyjny a rachunek dualnyRachunek refutacyjny a rachunek dualny Find similar objects  |  Add to bibliography

8.

Dwie formalizacje rachunku dualnego względem systemu WDwie formalizacje rachunku dualnego względem systemu W Find similar objects  |  Add to bibliography

9.

Pewien sposób badania rozwiązalności równań z parametremPewien sposób badania rozwiązalności równań z parametrem Find similar objects  |  Add to bibliography

10.

Zastosowanie metody kolejnych różnic do stawiania hipotez indukcyjnychZastosowanie metody kolejnych różnic do stawiania hipotez indukcyjnych Find similar objects  |  Add to bibliography

11.

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

12.

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

13.

Metoda założeniowa odrzucania wyrażeń dla intuicjonistycznego rachunku zdań i systemu S4 LewisaMetoda założeniowa odrzucania wyrażeń dla intuicjonistycznego rachunku zdań i systemu S4 Lewisa Find similar objects  |  Add to bibliography

14.

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

15.

Trisequential propositional calculusTrisequential propositional calculus Find similar objects  |  Add to bibliography