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
1991 | 138 | 2 | 93-101

Tytuł artykułu

Formalizing a non-linear Henkin quantifier

Treść / Zawartość

Warianty tytułu

Języki publikacji

EN

Abstrakty

Słowa kluczowe

Rocznik

Tom

138

Numer

2

Strony

93-101

Opis fizyczny

Daty

wydano
1991

Twórcy

  • Annapolis, Maryland, U.S.A.

Bibliografia

Typ dokumentu

Bibliografia

Identyfikatory

Identyfikator YADDA

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