Foundations of Mathematics; Symposium Papers Commemorationg the Sixtieth Birthday of Kurt Goedel