Title: SYMLOG
First published: 1986
Subjects: Computer-assisted instruction, Logic, Symbolic and mathematical, SYMLOG (Computer program), Symbolic and mathematical Logic
LC classification: BC57 .P67 1986