JEDNOSTKA NAUKOWA KATEGORII A+

On the decidability of the theory of linear orderings with generalized quantifiers

Tom 107 / 1980

H. Tuschik Fundamenta Mathematicae 107 (1980), 21-32 DOI: 10.4064/fm-107-1-21-32

Autorzy

  • H. Tuschik

Przeszukaj wydawnictwa IMPAN

Zbyt krótkie zapytanie. Wpisz co najmniej 4 znaki.

Przepisz kod z obrazka

Odśwież obrazek

Odśwież obrazek