On Arnold s Hilbert Symposium Problems

Newton C. A. da Costa, Francisco A. Doria. On Arnold s Hilbert Symposium Problems. In Georg Gottlob, Alexander Leitsch, Daniele Mundici, editors, Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, KGC 93, Brno, Czech Republic, August 24-27, 1993, Proceedings. Volume 713 of Lecture Notes in Computer Science, pages 152-158, Springer, 1993.

Abstract

Abstract is missing.