A recursion-theoretic characterization of instances of $ΒΣ_n$ provable in $П_{n+1}(N)$

Tom 129 / 1988

Zofia Adamowicz Fundamenta Mathematicae 129 (1988), 231-236 DOI: 10.4064/fm-129-3-231-236

Autorzy

  • Zofia Adamowicz

Przeszukaj wydawnictwa IMPAN

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

Przepisz kod z obrazka

Odśwież obrazek

Odśwież obrazek