Title: Computation, logic, philosophy
First published: 1990
Subjects: Computer science, Logic, Symbolic and mathematical, Mathematics, Symbolic and mathematical Logic, Logic, Philosophy
LC classification: QA76.9.M35 W35 1990