Pełnotekstowe zasoby PLDML oraz innych baz dziedzinowych są już dostępne w nowej Bibliotece Nauki.
Zapraszamy na https://bibliotekanauki.pl

PL EN

Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników

Czasopismo

Fundamenta Mathematicae

1955 | 42 | 1 | 101-110

Tytuł artykułu

Some applications of formalized consistency proofs

Autorzy

G. Kreisel , Hao Wang

Treść / Zawartość

Pełne teksty: http://matwbn.icm.edu.pl/ksiazki/fm/fm42/fm4219.pdf [zdalny]

Języki publikacji

EN

Wydawca

Institute of Mathematics Polish Academy of Sciences

Czasopismo

Fundamenta Mathematicae

Rocznik

1955

Tom

42

Numer

1

Strony

101-110

Daty

wydano
1955

Twórcy

autor
G. Kreisel
  • Reading, England
autor
Hao Wang
  • Philadelphia, Pa., USA

Identyfikator YADDA

bwmeta1.element.bwnjournal-article-fmv42i1p101bwm