Works matching IS 09425616 AND DT 1983 AND VI 29 AND IP 1

Results: 5

  • Masthead.

    Published in:
    Mathematical Logic Quarterly, 1983, v. 29, n. 1, p. fmi, doi. 10.1002/malq.19830290101
    Publication type:
    Article

  • THE MODAL LOGIC OF CONSISTENCY ASSERTIONS OF PEANO ARITHMETIC.

    Published in:
    Mathematical Logic Quarterly, 1983, v. 29, n. 1, p. 25, doi. 10.1002/malq.19830290105
    By:
    • Valentini, Silvio
    Publication type:
    Article

  • RECONSTRUCTION D'UNE S-EXPANSION.

    Published in:
    Mathematical Logic Quarterly, 1983, v. 29, n. 1, p. 11, doi. 10.1002/malq.19830290104
    By:
    • Lopez, Gérard
    Publication type:
    Article

  • On CLOSED SUBSETS OF THE INTUITIONISTIC REALS.

    Published in:
    Mathematical Logic Quarterly, 1983, v. 29, n. 1, p. 7, doi. 10.1002/malq.19830290103
    By:
    • Grayson, Robin J.
    Publication type:
    Article

  • RANDOM ISOLS.

    Published in:
    Mathematical Logic Quarterly, 1983, v. 29, n. 1, p. 1, doi. 10.1002/malq.19830290102
    By:
    • Ellentuck, Erik
    Publication type:
    Article