Tarski, A. (1953). A general method in proofs of undecidability. In (Tarski et al. 1953b), pages 1--35.  Home/Search   Document Not in Database   Context   Related Articles

This paper is cited by the following papers:

A New Method for Undecidability Proofs of First Order Theories - Treinen (1992)   (21 citations)  (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC