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ść

Warianty tytułu

Języki publikacji

EN

Abstrakty

Słowa kluczowe

Rocznik

Tom

43

Numer

2

Strony

166-177

Opis fizyczny

Daty

wydano
1956

Twórcy

  • Warszawa, Polska

Bibliografia

Typ dokumentu

Bibliografia

Identyfikatory

Identyfikator YADDA

bwmeta1.element.bwnjournal-article-fmv43i2p166bwm
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ć.