Works matching IS 13670751 AND DT 2004 AND VI 12 AND IP 1

Results: 1
    1

    Descente Infinie + Deduction.

    Published in:
    Logic Journal of the IGPL, 2004, v. 12, n. 1, p. 1, doi. 10.1093/jigpal/12.1.1
    By:
    • Wirth, Claus-Peter
    Publication type:
    Article