Title: Proceedings
First published: 1990
Subjects: Congresses, Electronic data processing, Electronic digital computers, Logic, Symbolic and mathematical, Symbolic and mathematical Logic
LC classification: QA75.5 .S9813 1990