Algebraic methods in logic and in computer science/ editor of the volume, Cecylia Rauszer. - Warszawa: Polish Academy of Sciences, Institute of Mathematics, 1993. - 342 p.: ill.; 24 cm. - Banach Center publications, v. 28 0137-6934; .

Papers from the XXXVIII Semester organized by the Stefan Banach International Mathematical Center, and held in Warsaw, Sept. 15-Dec. 15, 1991.

Includes bibliographical references.

8385116923 9788385116929

94113745


Algebraic logic.
Computer science.

511.3