Some applications of formalized consistency proofs

Tom 42 / 1955

G. Kreisel, Hao Wang Fundamenta Mathematicae 42 (1955), 101-110 DOI: 10.4064/fm-42-1-101-110

Autorzy

  • G. Kreisel
  • Hao Wang

Przeszukaj wydawnictwa IMPAN

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

Przepisz kod z obrazka

Odśwież obrazek

Odśwież obrazek