Title: Logic Colloquium '92
First published: 1995
Subjects: Congresses, Logic, Symbolic and mathematical, Symbolic and mathematical Logic, Logic, symbolic and mathematical, Programming languages (electronic computers)
LC classification: BC135 .L576 1995