Provability in arithmetic and a schema of Grzegorczyk

Tom 106 / 1980

George Boolos Fundamenta Mathematicae 106 (1980), 41-45 DOI: 10.4064/fm-106-1-41-45

Autorzy

  • George Boolos

Przeszukaj wydawnictwa IMPAN

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

Przepisz kod z obrazka

Odśwież obrazek

Odśwież obrazek