Works matching IS 17550203 AND DT 2016 AND VI 9 AND IP 3


Results: 12
    1
    2
    3

    VON NEUMANN’S CONSISTENCY PROOF.

    Published in:
    Review of Symbolic Logic, 2016, v. 9, n. 3, p. 429, doi. 10.1017/S1755020316000198
    By:
    • BELLOTTI, LUCA
    Publication type:
    Article
    4
    5
    6
    7

    COORDINATE-FREE LOGIC.

    Published in:
    Review of Symbolic Logic, 2016, v. 9, n. 3, p. 522, doi. 10.1017/S1755020316000174
    By:
    • LEO, JOOP
    Publication type:
    Article
    8

    MORITA EQUIVALENCE.

    Published in:
    Review of Symbolic Logic, 2016, v. 9, n. 3, p. 556, doi. 10.1017/S1755020316000186
    By:
    • BARRETT, THOMAS WILLIAM;
    • HALVORSON, HANS
    Publication type:
    Article
    9
    10

    EXCLUSIVELY INDEXICAL DEDUCTION.

    Published in:
    Review of Symbolic Logic, 2016, v. 9, n. 3, p. 603, doi. 10.1017/S1755020316000125
    By:
    • DEKKER, PAUL
    Publication type:
    Article
    11

    THE AMBIGUITY OF KNOWABILITY.

    Published in:
    Review of Symbolic Logic, 2016, v. 9, n. 3, p. 421, doi. 10.1017/S1755020315000416
    By:
    • KOOI, BARTELD
    Publication type:
    Article
    12

    CHARACTER AND OBJECT.

    Published in:
    Review of Symbolic Logic, 2016, v. 9, n. 3, p. 480, doi. 10.1017/S1755020315000398
    By:
    • AVIGAD, JEREMY;
    • MORRIS, REBECCA
    Publication type:
    Article