Mathematical logic

被引:0
|
作者
Casari, Ettore
机构
关键词
D O I
暂无
中图分类号
B [哲学、宗教];
学科分类号
01 ; 0101 ;
摘要
引用
收藏
页码:139 / 141
页数:3
相关论文
共 50 条
  • [41] Constructivistic Mathematical Logic Education
    Habiballa, Hashim
    Jendryscik, Radek
    INTERNATIONAL CONFERENCE OF COMPUTATIONAL METHODS IN SCIENCES AND ENGINEERING 2018 (ICCMSE-2018), 2018, 2040
  • [42] Mathematical programming embeddings of logic
    Borkar, VS
    Chandru, V
    Mitter, SK
    JOURNAL OF AUTOMATED REASONING, 2002, 29 (01) : 91 - 106
  • [43] Syllogistic Logic and Mathematical Proof
    Wrigley, Wesley
    Mancosu, Paolo
    Mugnai, Massimo
    MATHEMATICAL GAZETTE, 2025, 109 (574): : 185 - 187
  • [44] Mathematical Modelling and Fuzzy Logic
    Ozok, Ahmet Fahri
    INTELLIGENT AND FUZZY SYSTEMS, INFUS 2024 CONFERENCE, VOL 1, 2024, 1088 : 3 - 6
  • [45] DISTINCTIONS OF QUALITY IN MATHEMATICAL LOGIC
    ANGELL, RB
    JOURNAL OF SYMBOLIC LOGIC, 1968, 33 (04) : 639 - &
  • [46] The decision problem of mathematical logic
    Bernays, P
    Schonfinkel, M
    MATHEMATISCHE ANNALEN, 1928, 99 : 342 - 372
  • [47] MATHEMATICAL LOGIC AND FOUNDATIONS OF MATHEMATICS
    GOODSTEI.RL
    JOURNAL OF THE LONDON MATHEMATICAL SOCIETY, 1966, 41 (162P): : 381 - &
  • [48] MATHEMATICAL LOGIC AND THE NATURE OF REASONING
    DALE, PW
    PSYCHIATRIC QUARTERLY, 1957, 31 (01) : 1 - 9
  • [49] From Logic to Mathematical Philosophy
    Makinson, David
    Malinowski, Jacek
    Wansing, Heinrich
    TOWARDS MATHEMATICAL PHILOSOPHY, 2009, 28 : 1 - +
  • [50] KLEENE,SC - MATHEMATICAL LOGIC
    GOODSTEI.RL
    NATURE, 1967, 216 (5111) : 201 - &