Works matching IS 09425616 AND DT 2006 AND VI 52 AND IP 1


Results: 11
    1
    2
    3
    4
    5
    6
    7

    Envelopes, indicators and conservativeness.

    Published in:
    Mathematical Logic Quarterly, 2006, v. 52, n. 1, p. 51, doi. 10.1002/malq.200410055
    By:
    • Cordón-Franco, Andrés;
    • Fernández-Margarit, Alejandro;
    • Lara-Martín, F. Félix
    Publication type:
    Article
    8
    9
    10

    On Löb algebras.

    Published in:
    Mathematical Logic Quarterly, 2006, v. 52, n. 1, p. 95, doi. 10.1002/malq.200510016
    By:
    • Alizadeh, Majid;
    • Ardeshir, Mohammad
    Publication type:
    Article
    11