Some proofs of undecidability of arithmetic

Tom 43 / 1956

Andrzej Grzegorczyk Fundamenta Mathematicae 43 (1956), 166-177 DOI: 10.4064/fm-43-2-166-177

Autorzy

  • Andrzej Grzegorczyk

Przeszukaj wydawnictwa IMPAN

Zbyt krótkie zapytanie. Wpisz co najmniej 4 znaki.

Przepisz kod z obrazka

Odśwież obrazek

Odśwież obrazek