Works matching IS 09425616 AND DT 1979 AND VI 25 AND IP 1/2

Results: 4

  • Masthead.

    Published in:
    Mathematical Logic Quarterly, 1979, v. 25, n. 1/2, p. fmi, doi. 10.1002/malq.19790250101
    Publication type:
    Article

  • The Standardization Theorem for λ-Calculus.

    Published in:
    Mathematical Logic Quarterly, 1979, v. 25, n. 1/2, p. 29, doi. 10.1002/malq.19790250104
    By:
    • Mitschke, Gerd
    Publication type:
    Article

  • Non-Standard Models of Ordinal Arithmetics.

    Published in:
    Mathematical Logic Quarterly, 1979, v. 25, n. 1/2, p. 5, doi. 10.1002/malq.19790250103
    By:
    • Sonenberg, E. A.
    Publication type:
    Article

  • Assumption Classes in Natural Deduction.

    Published in:
    Mathematical Logic Quarterly, 1979, v. 25, n. 1/2, p. 1, doi. 10.1002/malq.19790250102
    By:
    • Leivant, Daniel
    Publication type:
    Article