Works matching IS 09425616 AND DT 1972 AND VI 18 AND IP 12

Results: 4
    1

    Masthead.

    Published in:
    Mathematical Logic Quarterly, 1972, v. 18, n. 12, p. fmi, doi. 10.1002/malq.19720181201
    Publication type:
    Article
    2

    Dependence of Some Axioms of Rose.

    Published in:
    Mathematical Logic Quarterly, 1972, v. 18, n. 12, p. 189, doi. 10.1002/malq.19720181204
    By:
    • Parks, Zane
    Publication type:
    Article
    3
    4

    Variable Binding Term Operators.

    Published in:
    Mathematical Logic Quarterly, 1972, v. 18, n. 12, p. 177, doi. 10.1002/malq.19720181202
    By:
    • Corcoran, John;
    • Hatcher, William;
    • Herring, John
    Publication type:
    Article