Title: The logic of discovery
Subjects: Mathematics, Philosophy, Symbolic and mathematical Logic