PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
Tytuł artykułu

Certain Classes of Elimination Operators

Autorzy
Wybrane pełne teksty z tego czasopisma
Identyfikatory
Warianty tytułu
Języki publikacji
EN
Abstrakty
EN
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
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.