Works matching IS 09425616 AND DT 1979 AND VI 25 AND IP 13-18

Results: 10

    • The Completeness of Presupposition-Free Tense Logic.

      Published in:
      Mathematical Logic Quarterly, 1979, v. 25, n. 13-18, p. 193, doi. 10.1002/malq.19790251302
      By:
      • Barnes, Robert F.;
      • Gumb, Raymond D.
      Publication type:
      Article

    • Extensional Characterization of Index Sets.

      Published in:
      Mathematical Logic Quarterly, 1979, v. 25, n. 13-18, p. 227, doi. 10.1002/malq.19790251306
      By:
      • Hay, Louise;
      • Johnson, Nancy
      Publication type:
      Article

    • Masthead.

      Published in:
      Mathematical Logic Quarterly, 1979, v. 25, n. 13-18, p. fmi, doi. 10.1002/malq.19790251301
      Publication type:
      Article

    • Effective Transformations on Probabilistic Data.

      Published in:
      Mathematical Logic Quarterly, 1979, v. 25, n. 13-18, p. 219, doi. 10.1002/malq.19790251305
      By:
      • Bergstra, Jan
      Publication type:
      Article

    • Forcing in Ackermanns Mengenlehre.

      Published in:
      Mathematical Logic Quarterly, 1979, v. 25, n. 13-18, p. 265, doi. 10.1002/malq.19790251309
      By:
      • Alkor, C.
      Publication type:
      Article

    • On a Formalization of the Non-Definedness Notion.

      Published in:
      Mathematical Logic Quarterly, 1979, v. 25, n. 13-18, p. 213, doi. 10.1002/malq.19790251304
      By:
      • Hoogewijs, Albert
      Publication type:
      Article

    • A Jump Operator in Set Recursion.

      Published in:
      Mathematical Logic Quarterly, 1979, v. 25, n. 13-18, p. 251, doi. 10.1002/malq.19790251308
      By:
      • Normann, Dag
      Publication type:
      Article

    • Negation-Free Modal Logics.

      Published in:
      Mathematical Logic Quarterly, 1979, v. 25, n. 13-18, p. 281, doi. 10.1002/malq.19790251310
      By:
      • Schumm, George F.;
      • Edelstein, Roy
      Publication type:
      Article

    • Über Halbordnungen von WT-Graden in e-Graden.

      Published in:
      Mathematical Logic Quarterly, 1979, v. 25, n. 13-18, p. 209, doi. 10.1002/malq.19790251303
      By:
      • Hebeisen, Freidrich
      Publication type:
      Article

    • Domino f-Sets.

      Published in:
      Mathematical Logic Quarterly, 1979, v. 25, n. 13-18, p. 235, doi. 10.1002/malq.19790251307
      By:
      • Straight, David W.
      Publication type:
      Article