Works matching IS 09425616 AND DT 1991 AND VI 37 AND IP 19-22


Results: 8
    1
    2
    3
    4

    On Rosser's Provability Predicate.

    Published in:
    Mathematical Logic Quarterly, 1991, v. 37, n. 19-22, p. 317, doi. 10.1002/malq.19910371906
    By:
    • Yu. Shavrukov, V.
    Publication type:
    Article
    5

    Masthead.

    Published in:
    Mathematical Logic Quarterly, 1991, v. 37, n. 19-22, p. fmi, doi. 10.1002/malq.19910371901
    Publication type:
    Article
    6
    7
    8

    Pairings on Lambda Algebras.

    Published in:
    Mathematical Logic Quarterly, 1991, v. 37, n. 19-22, p. 343, doi. 10.1002/malq.19910371908
    By:
    • Hatcher, W. S.;
    • Tonga, Marcel
    Publication type:
    Article