PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
1977 | 97 | 1 | 17-36
Tytuł artykułu

Undecidability of intuitionistic theories formulated with the apartness relation

Autorzy
Treść / Zawartość
Warianty tytułu
Języki publikacji
EN
Abstrakty
Słowa kluczowe
Rocznik
Tom
97
Numer
1
Strony
17-36
Opis fizyczny
Daty
wydano
1977
Twórcy
  • Ramat-Gani, Israel
Bibliografia
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.bwnjournal-article-fmv97i1p8bwm
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ć.