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
1981 | 113 | 1 | 59-65

Tytuł artykułu

The equivalence of definable quantifiers in second order arithmetic

Treść / Zawartość

Języki publikacji

EN

Rocznik

Tom

113

Numer

1

Strony

59-65

Daty

wydano
1981

Twórcy

  • Warszawa, Polska

Identyfikator YADDA

bwmeta1.element.bwnjournal-article-fmv113i1p6bwm