Powiadomienia systemowe
- Sesja wygasła!
- Sesja wygasła!
Tytuł artykułu
Autorzy
Wybrane pełne teksty z tego czasopisma
Identyfikatory
Warianty tytułu
Języki publikacji
Abstrakty
Rocznik
Tom
Strony
13--18
Opis fizyczny
Bibliogr. 4 poz.
Twórcy
autor
- Opole University Institute of Mathematics Oleska 48, 45-052 Opole
autor
- Opole University Institute of Mathematics Oleska 48, 45-052 Opole
Bibliografia
- [1] G. Bryll, Metody odrzucania wyrażeń, Akademicka Oficyna Wydawnicza PLJ, Warszawa 1966.
- [2] K. Kuratowski, A. Mostowski, Teoria mnogości, Ed. 2, MM vol. 27, PWN, Warszawa 1966.
- [3] P. Łukowski, A Reductive Approach to Ƚ-decidability, B8L, vol. 28/3 (1999), pp. 171-177.
- [4] P. Łukowski, The Law of Excluded Middle and Intuitionistic Logic, Logica Trianguli 2 (1998), pp. 73 - 86.
Typ dokumentu
Bibliografia
Identyfikator YADDA
bwmeta1.element.baztech-9efa1c69-94e5-4f66-8561-0f2003f2d138