Guzicki, Wojciech.

    Definable quantifiers in second order arithmetic and elementary extensions of [omega]-models / / Wojciech Guzicki ; Polska Akademia Nauk. Instytut Matematyczny.
    Warszawa : Państwowe Wydawnictwo Naukowe, 1983. 55 s. : il. ; 24 cm.
    (Dissertationes Mathematicae =) (Rozprawy Matematyczne,)
    (Dissertationes Mathematicae ISSN 0012-3862 208)
    ISBN 83-01-02720-7


Rachunek kwantyfikatorów.
Teoria modeli.

   
Nc.4443   
Cg.16559