Works matching IS 09601295 AND DT 2018 AND VI 28 AND IP 3


Results: 8
    1

    Preface.

    Published in:
    Mathematical Structures in Computer Science, 2018, v. 28, n. 3, p. 338, doi. 10.1017/S0960129517000081
    By:
    • Fokina, Ekaterina
    Publication type:
    Article
    2
    3
    4
    5

    The logic of the reverse mathematics zoo.

    Published in:
    Mathematical Structures in Computer Science, 2018, v. 28, n. 3, p. 412, doi. 10.1017/S0960129516000323
    By:
    • D'AGOSTINO, GIOVANNA;
    • MARCONE, ALBERTO
    Publication type:
    Article
    6
    7
    8