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
1956 | 43 | 2 | 166-177

Tytuł artykułu

Some proofs of undecidability of arithmetic

Autorzy

Treść / Zawartość

Języki publikacji

EN

Rocznik

Tom

43

Numer

2

Strony

166-177

Daty

wydano
1956

Twórcy

  • Warszawa, Polska

Identyfikator YADDA

bwmeta1.element.bwnjournal-article-fmv43i2p166bwm