1.

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

2.

Aksjomatyzacja rachunku zdaniowego dualnego względem klasycznego implikacyjno-negacyjnego rachunku zdańAksjomatyzacja rachunku zdaniowego dualnego względem klasycznego implikacyjno-negacyjnego rachunku zdań Find similar objects  |  Add to bibliography

3.

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

4.

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

5.

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

6.

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

7.

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

8.

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

9.

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

10.

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

11.

O grach dydaktycznych dotyczących przekształcania wyrażeń algebraicznychO grach dydaktycznych dotyczących przekształcania wyrażeń algebraicznych Find similar objects  |  Add to bibliography

12.

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

13.

Czasopisma NaukoweCzasopisma Naukowe Find similar objects  |  Add to bibliography

14.

Spis treściSpis treści Find similar objects  |  Add to bibliography

15.

Operacja konsekwencji w trójsekwencyjnym rachunku predykatów ŁukasiewiczaOperacja konsekwencji w trójsekwencyjnym rachunku predykatów Łukasiewicza Find similar objects  |  Add to bibliography