Works matching DE "INTUITIONISTIC mathematics"


Results: 1115
    1
    2
    3
    4
    5
    6
    7
    8
    9

    On N<sub>m</sub>-T½-space.

    Published in:
    Bulletin of International Mathematical Virtual Institute, 2022, v. 12, n. 3, p. 461, doi. 10.7251/BIMVI2203461G
    By:
    • Ganesan, Selvaraj
    Publication type:
    Article
    10
    11
    12
    13
    14
    15
    16
    17
    18
    19
    20
    21
    22
    23
    24
    25
    26
    27
    28
    29
    30
    31
    32
    33
    34
    35
    36
    37
    38
    39
    40
    41
    42
    43

    INSTANTIATION OVERFLOW.

    Published in:
    Reports on Mathematical Logic, 2016, n. 51, p. 15, doi. 10.4467/20842589RM.16.002.5279
    By:
    • DINIS, Bruno;
    • FERREIRA, Gilda
    Publication type:
    Article
    44
    45
    46

    SUBSTRUCTURAL INQUISITIVE LOGICS.

    Published in:
    Review of Symbolic Logic, 2019, v. 12, n. 2, p. 296, doi. 10.1017/S1755020319000017
    By:
    • PUNČOCHÁŘ, VÍT
    Publication type:
    Article
    47
    48
    49
    50