Meeting of the Association for Symbolic Logic: Washington, D. C., 1985

Martin Davis, E. G. K. López-Escobar, Wilfred Sieg. Meeting of the Association for Symbolic Logic: Washington, D. C., 1985. Journal of Symbolic Logic, 51(4):1085-1092, 1986.

Abstract

Abstract is missing.