|
Definable quantifiers in second order arithmetic and elementary extensions of [omega]-models /
|
|
Guzicki, Wojciech.
|
|
Wojciech Guzicki ; Polska Akademia Nauk. Instytut Matematyczny. |
|
Warszawa :
|
|
Państwowe Wydawnictwo Naukowe,
|
|
1983.
|
|
55 s. :
il. ;
24 cm.
|
|
(Dissertationes Mathematicae ISSN 0012-3862 208)
(Dissertationes Mathematicae = 0012-3862 ; 208)
|
|
PATRZ WYDAWNICTWO CIĄGŁE
|
|
Bibliogr. s. 50-51.
Dostępne również w formie elektronicznej.
|
|
83-01-02720-7
|
|
|