Logic Colloquium '92 /
Logic Colloquium '92(Veszprém, Hungary :1992)
Csirmaz, László.
Gabbay, Dov M.,1945-
Rijke, Maarten de.
Association for Symbolic Logic.
Stanford, Calif. : CSLI Publications,
c1995.
Held Aug. 9-15, 1992, Veszprém, Hungary; sponsored by the Association for Symbolic Logic.
Includes bibliographical references and indexes.
Logic, Symbolic and mathematical