No JavaScript support!
To take full advantage of this digital library, please verify if your browser supports JavaScript.
loading...
Polish English
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
Rachunek refutacyjny a rachunek dualnyRachunek refutacyjny a rachunek dualny
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
Czasopisma NaukoweCzasopisma Naukowe
Biuletyn Informacyjny Wyższej Szkoły Pedagogicznej w CzęstochowieBiuletyn Informacyjny Wyższej Szkoły Pedagogicznej w Częstochowie
Res AcademicaeRes Academicae
O dwóch metodach geometrycznych rozwiązywania zadań tekstowychO dwóch metodach geometrycznych rozwiązywania zadań tekstowych
Pewien sposób badania rozwiązalności równań z parametremPewien sposób badania rozwiązalności równań z parametrem
Zastosowanie metody kolejnych różnic do stawiania hipotez indukcyjnychZastosowanie metody kolejnych różnic do stawiania hipotez indukcyjnych
Wykorzystanie idei odrzucania zdań w procesie dydaktycznymWykorzystanie idei odrzucania zdań w procesie dydaktycznym
Liczba relacji binarnych niektórych typów w zbiorze skończonymLiczba relacji binarnych niektórych typów w zbiorze skończonym
WstępWstęp
A method of axiomatic rejection of formulas in propositional logicsA method of axiomatic rejection of formulas in propositional logics
Operacja konsekwencji w trójsekwencyjnym rachunku predykatów ŁukasiewiczaOperacja konsekwencji w trójsekwencyjnym rachunku predykatów Łukasiewicza
O grach dydaktycznych dotyczących przekształcania wyrażeń algebraicznychO grach dydaktycznych dotyczących przekształcania wyrażeń algebraicznych