×

具有选择公理的二阶经典逻辑的范式定理。 (英语。俄文原件) 兹比尔0850.03053

数学。苏联,伊兹夫。 32,第3期,587-605(1989年); Izv的翻译。阿卡德。Nauk SSSR,序列号。材料52,第3号,581-600(1988年)。
请参阅中的评论Zbl 0654.03041号.

MSC公司:

05年3月 切割消除和正规形定理
PDF格式BibTeX公司 XML格式引用
全文: 内政部