Skolem-type normal forms for first-order languages with a generalized quantifier - Fundamenta Mathematicae - Tom 54, Numer 3 (1964) - DML-PL - Yadda

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

Artykuł - szczegóły

Czasopismo

Fundamenta Mathematicae

1964 | 54 | 3 | 291-302

Tytuł artykułu

Skolem-type normal forms for first-order languages with a generalized quantifier

Autorzy

G. Fuhrken

Treść / Zawartość

Pełne teksty:

http://matwbn.icm.edu.pl/ksiazki/fm/fm54/fm54122.pdf [zdalny]

Warianty tytułu

Języki publikacji

EN

Abstrakty

Słowa kluczowe

Wydawca

Institute of Mathematics Polish Academy of Sciences

Czasopismo

Fundamenta Mathematicae

Rocznik

1964

Tom

54

Numer

3

Strony

291-302

Opis fizyczny

Daty

wydano

1964

Twórcy

autor

G. Fuhrken

Minneapolis, Minn., U.S.A.

Bibliografia

Typ dokumentu

Bibliografia

Identyfikatory

Identyfikator YADDA

bwmeta1.element.bwnjournal-article-fmv54i1p22bwm

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ć.