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.
No references recorded for this publication.
No citations of this publication recorded.