PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
1958 | 45 | 1 | 334-335
Tytuł artykułu

Applications of formalized consistency proofs II

Autorzy
Treść / Zawartość
Warianty tytułu
Języki publikacji
EN
Abstrakty
Słowa kluczowe
Rocznik
Tom
45
Numer
1
Strony
334-335
Opis fizyczny
Daty
wydano
1958
Twórcy
autor
  • Reading, England
autor
  • Oxford, UK
Bibliografia
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.bwnjournal-article-fmv45i1p334bwm
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.