Title: Proceedings
First published: 1991
Subjects: Computer programming, Congresses, Electronic data processing, Logic, Symbolic and mathematical, Symbolic and mathematical Logic