A formula with no recursively enumerable model

Tom 42 / 1955

Andrzej Mostowski Fundamenta Mathematicae 42 (1955), 125-140 DOI: 10.4064/fm-42-1-125-140

Autorzy

  • Andrzej Mostowski

Przeszukaj wydawnictwa IMPAN

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

Przepisz kod z obrazka

Odśwież obrazek

Odśwież obrazek