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


Results: 12
    1
    2
    3
    4
    5

    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
    6

    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
    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
    9

    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
    10
    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