Found: 6

Select item for more details and to access through your institution.

  • States on Pseudo MV-Algebras.

    Published in:
    Studia Logica, 2001, v. 68, n. 3, p. 301, doi. 10.1023/A:1012490620450
    By:
    • Dvurečenskij, Anatolij
    Publication type:
    Article

  • Finding Missing Proofs with Automated Reasoning.

    Published in:
    Studia Logica, 2001, v. 68, n. 3, p. 329, doi. 10.1023/A:1012486904520
    By:
    • Fitelson, Branden;
    • Wos, Larry
    Publication type:
    Article

  • A Calculus of Substitutions for DPL.

    Published in:
    Studia Logica, 2001, v. 68, n. 3, p. 357, doi. 10.1023/A:1012439021359
    By:
    • Vermeulen, C.
    Publication type:
    Article

  • Book Reviews.

    Published in:
    2001
    Publication type:
    Book Review

  • Contents of Volume 68.

    Published in:
    Studia Logica, 2001, v. 68, n. 3, p. 421, doi. 10.1023/A:1017395319742
    Publication type:
    Article

  • Trends in Logic.

    Published in:
    Studia Logica, 2001, v. 68, n. 3, p. 423, doi. 10.1023/A:1017372120651
    Publication type:
    Article