Definable quantifiers in second order arithmetic and elementary extensions of ω-models
著者
書誌事項
Definable quantifiers in second order arithmetic and elementary extensions of ω-models
（Dissertationes mathematicae, 208）
Państwowe Wydawn. Naukowe, 1983
- : pbk
大学図書館所蔵 件 / 全1件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
At head of title: Polska Akademia Nauk, Instytut Matematyczny
Bibliography: p. [50]-51
