SOME REMARKS ON HIGHER-ORDER LOGIC

被引：0
作者：
KOGALOVSKII, SR
机构：
来源：
DOKLADY AKADEMII NAUK SSSR | 1968年 / 178卷 / 05期
关键词：
D O I：
暂无
中图分类号：
O [数理科学和化学]; P [天文学、地球科学]; Q [生物科学]; N [自然科学总论];
学科分类号：
07 ; 0710 ; 09 ;
摘要：
引用
收藏
页码：1007 / +
页数：1
相关论文
共 7 条
  • [1] KINTIKKA KJJ, 1955, ACTA PHILOS FENN, P566
  • [2] KOGALOVS.SR, 1966, DOKL AKAD NAUK SSSR+, V171, P1272
  • [3] KOGALOVSKII SR, 1966, IZV VYSSH UCHEBN Z M, P50
  • [4] KOGALOVSKII SR, 1966, IZV VYSSH UCHEBN Z M, P89
  • [5] KOGALOVSKII SR, 1966, INFORM B
  • [6] TARSKI A., 1953, UNDECIDABLE THEORIES
  • [7] Zykov A. A., 1953, IZV AN SSSR M, V17, P63
1