Undecidable theories - Tarski Alfred (Amsterdam North Holland Netherland, 1953)
Bibliography: P 89-91
Keywords: Philosophy-Symbolic Logic