Pełnotekstowe zasoby PLDML oraz innych baz dziedzinowych są już dostępne w nowej Bibliotece Nauki.
Zapraszamy na https://bibliotekanauki.pl

PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
1977 | 96 | 2 | 127-135

Tytuł artykułu

An algebraic approach to the Heyting-Brouwer predicate calculus

Autorzy

Treść / Zawartość

Języki publikacji

EN

Rocznik

Tom

96

Numer

2

Strony

127-135

Daty

wydano
1977

Twórcy

  • Warszawa, Polska

Identyfikator YADDA

bwmeta1.element.bwnjournal-article-fmv96i1p11bwm