Works matching IS 09335846 AND DT 2010 AND VI 49 AND IP 5

Results: 4
    1

    On the form of witness terms.

    Published in:
    Archive for Mathematical Logic, 2010, v. 49, n. 5, p. 529, doi. 10.1007/s00153-010-0186-7
    By:
    • Hetzl, Stefan
    Publication type:
    Article
    2

    Localizing the axioms.

    Published in:
    Archive for Mathematical Logic, 2010, v. 49, n. 5, p. 571, doi. 10.1007/s00153-010-0188-5
    By:
    • Tzouvaras, Athanassios
    Publication type:
    Article
    3
    4