No JavaScript support!
To take full advantage of this digital library, please verify if your browser supports JavaScript.
loading...
Polish English
The notion of cube in the theory of squaresThe notion of cube in the theory of squares
Find similar objects | Add to bibliography
Certain classes of elimination operatorsCertain classes of elimination operators
A formalization of a logic without tautologiesA formalization of a logic without tautologies
Pewien sposób badania rozwiązalności równań z parametremPewien sposób badania rozwiązalności równań z parametrem
Liczba relacji binarnych niektórych typów w zbiorze skończonymLiczba relacji binarnych niektórych typów w zbiorze skończonym
Zastosowanie metody kolejnych różnic do stawiania hipotez indukcyjnychZastosowanie metody kolejnych różnic do stawiania hipotez indukcyjnych
O grach dydaktycznych dotyczących przekształcania wyrażeń algebraicznychO grach dydaktycznych dotyczących przekształcania wyrażeń algebraicznych
Wykorzystanie idei odrzucania zdań w procesie dydaktycznymWykorzystanie idei odrzucania zdań w procesie dydaktycznym
O dwóch metodach geometrycznych rozwiązywania zadań tekstowychO dwóch metodach geometrycznych rozwiązywania zadań tekstowych
Aksjomatyzacja rachunku zdaniowego dualnego względem klasycznego implikacyjno-negacyjnego rachunku zdańAksjomatyzacja rachunku zdaniowego dualnego względem klasycznego implikacyjno-negacyjnego rachunku zdań
Rachunek refutacyjny a rachunek dualnyRachunek refutacyjny a rachunek dualny
Klasa funkcji o ograniczonej drugiej wariacjiKlasa funkcji o ograniczonej drugiej wariacji
Dwie formalizacje rachunku dualnego względem systemu WDwie formalizacje rachunku dualnego względem systemu W
A method of axiomatic rejection of formulas in propositional logicsA method of axiomatic rejection of formulas in propositional logics
WstępWstęp