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

Results: 4

    • 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

    • 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