Definable quantifiers in second order arithmetic and elementary extensions of ω-models
Author(s)
Bibliographic Information
Definable quantifiers in second order arithmetic and elementary extensions of ω-models
(Dissertationes mathematicae, 208)
Państwowe Wydawn. Naukowe, 1983
- : pbk
Available at / 1 libraries
-
No Libraries matched.
- Remove all filters.
Note
At head of title: Polska Akademia Nauk, Instytut Matematyczny
Bibliography: p. [50]-51