Meeting of the Association for Symbolic Logic

Martin Davis. Meeting of the Association for Symbolic Logic. Journal of Symbolic Logic, 31(4):697-706, 1966.

Abstract

Abstract is missing.