Alkuperäiskieli | Ei tiedossa |
---|---|
Otsikko | Quantifiers: Logics, Models and Computation, Vol. I |
Toimittajat | M Krynicki, M Mostowski, L Szczerba |
Sivut | 63-104 |
Tila | Julkaistu - 1995 |
Julkaistu ulkoisesti | Kyllä |
OKM-julkaisutyyppi | A3 Kirjan tai muun kokoomateoksen osa |
Finite generation problem and n-ary quantifiers
Lauri Hella, Kerkko Luosto
Tutkimustuotos: Luku › Tieteellinen › vertaisarvioitu