NEW THEOREM ON DEFINABILITY IN A POSITIVE SECOND-ORDER LOGIC WITH COUNTABLE CONJUNCTIONS AND DISJUNCTIONS

被引：2
作者：
MOTOHASHI, N
机构：
来源：
PROCEEDINGS OF THE JAPAN ACADEMY | 1972年 / 48卷 / 03期
关键词：
D O I：
10.3792/pja/1195519721
中图分类号：
O [数理科学和化学]; P [天文学、地球科学]; Q [生物科学]; N [自然科学总论];
学科分类号：
07 ; 0710 ; 09 ;
摘要：
引用
收藏
页码：153 / +
页数：1
相关论文
共 6 条
1