Title: Gödel '96
First published: 1996
Subjects: Computer science, Congresses, Logic, Symbolic and mathematical, Mathematical physics, Mathematics, Philosophy, Symbolic and mathematical Logic
LC classification: QA9.A1 G6 1996