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
Widoczny [Schowaj] Abstrakt
Liczba wyników
1974-1975 | 82 | 3 | 199-215

Tytuł artykułu

Combinatory logic and the ω-rule

Autorzy

Treść / Zawartość

Warianty tytułu

Języki publikacji

EN

Abstrakty

Słowa kluczowe

Rocznik

Tom

82

Numer

3

Strony

199-215

Opis fizyczny

Daty

wydano
1974

Twórcy

  • Utrecht, Netherlands

Bibliografia

Typ dokumentu

Bibliografia

Identyfikatory

Identyfikator YADDA

bwmeta1.element.bwnjournal-article-fmv82i1p14bwm
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ć.