Algebraic Analysis of The Term Logic with Choice Operator.Published in:Mathematical Logic Quarterly, 1981, v. 27, n. 22, p. 345, doi. 10.1002/malq.19810272203By:Schwartz, DietrichPublication type:Article
Antisymmetry and Lexicographic Product Relations.Published in:Mathematical Logic Quarterly, 1981, v. 27, n. 22, p. 337, doi. 10.1002/malq.19810272202By:Höft, HartmutPublication type:Article
Masthead.Published in:Mathematical Logic Quarterly, 1981, v. 27, n. 22, p. fmi, doi. 10.1002/malq.19810272201Publication type:Article