Gödel's diagonalization technique and related properties of theories

Tom 28 / 1973

A. Macintyre, H. Simmons Colloquium Mathematicum 28 (1973), 165-180 DOI: 10.4064/cm-28-2-165-180

Autorzy

  • A. Macintyre
  • H. Simmons

Przeszukaj wydawnictwa IMPAN

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

Przepisz kod z obrazka

Odśwież obrazek

Odśwież obrazek