ON COMPLETENESS OF ARITHMETIC

被引：0
|
作者：
BELYAKIN, NV
机构：
来源：
DOKLADY AKADEMII NAUK SSSR | 1967年 / 175卷 / 05期
关键词：
D O I：
暂无
中图分类号：
O [数理科学和化学]; P [天文学、地球科学]; Q [生物科学]; N [自然科学总论];
学科分类号：
07 ; 0710 ; 09 ;
摘要：
引用
收藏
页码：975 / &
相关论文
共 50 条
  • [41] DEDUCTIVE COMPLETENESS
    Dosen, Kosta
    BULLETIN OF SYMBOLIC LOGIC, 1996, 2 (03) : 243 - 283
  • [42] Toward Completeness
    Morgenstern, Dan
    DOWN BEAT, 2009, 76 (12): : 34 - 37
  • [43] The meaning of completeness
    Birkhoff, G
    ANNALS OF MATHEMATICS, 1937, 38 : 57 - 60
  • [44] Dense Completeness
    Krebs, Andreas
    Lange, Klaus-Joern
    DEVELOPMENTS IN LANGUAGE THEORY (DLT 2012), 2012, 7410 : 178 - 189
  • [45] κ-Ohio completeness
    Basile, Desiree
    van Mill, Jan
    Ridderbos, Guit-Jan
    JOURNAL OF THE MATHEMATICAL SOCIETY OF JAPAN, 2009, 61 (04) : 1293 - 1301
  • [46] ON A CONDITION FOR COMPLETENESS
    WONG, J
    JOURNAL OF MATHEMATICAL PHYSICS, 1969, 10 (08) : 1438 - &
  • [47] On denotational completeness
    Girard, JY
    THEORETICAL COMPUTER SCIENCE, 1999, 227 (1-2) : 249 - 273
  • [48] AN EFFECT OF COMPLETENESS
    ESTILL, ME
    BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY, 1953, 59 (01) : 62 - 62
  • [49] IMPLICATIONAL COMPLETENESS
    AHMAD, S
    NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1973, 20 (04): : A414 - A414
  • [50] The book of the completeness
    Roth, Gunhild
    ZEITSCHRIFT FUR DEUTSCHES ALTERTUM UND DEUTSCHE LITERATUR, 2008, 137 (02): : 265 - 268
12345