Tarski Alfred Undercidable theories - 1953 - Studies in logic and the foundations of mathem,atics ed by L E J Brauwer etc . Standard No.: 53,990 Source: Textual Subjects--Topical Terms: PHILOSOPHY Dewey Class. No.: R14, J33