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