Title: After Gödel
Subjects: Goedel, kurt, 1906-1978, Logic, symbolic and mathematical