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

Results: 5

    • 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

    • 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