Works matching IS 00393215 AND DT 1986 AND VI 45 AND IP 4


Results: 7
    1

    Books received.

    Published in:
    1986
    By:
    • Czelakowski, Janusz
    Publication type:
    Book Review
    2

    On decidable consequence operators.

    Published in:
    Studia Logica, 1986, v. 45, n. 4, p. 415, doi. 10.1007/BF00370274
    By:
    • Achinger, Jarosław;
    • Jankowski, Andrzej
    Publication type:
    Article
    3

    About finite predicate logic.

    Published in:
    Studia Logica, 1986, v. 45, n. 4, p. 405, doi. 10.1007/BF00370273
    By:
    • Dishkant, Herman
    Publication type:
    Article
    4
    5

    Local deductions theorems.

    Published in:
    Studia Logica, 1986, v. 45, n. 4, p. 377, doi. 10.1007/BF00370271
    By:
    • Czelakowski, Janusz
    Publication type:
    Article
    6
    7

    Protoalgebraic logics.

    Published in:
    Studia Logica, 1986, v. 45, n. 4, p. 337, doi. 10.1007/BF00370269
    By:
    • Blok, W.;
    • Pigozzi, Don
    Publication type:
    Article