00722nam0-22002531i-450-990001199670403321000119967FED01000119967(Aleph)000119967FED0100011996720000920d1971----km-y0itay50------baengUndecidable Theoriesde TARSKI Alfred.London [etc.]North-Holland1971Studies in logic and the foundations of mathematicsTarski,Alfred<1901-1983>1978ITUNINARICAUNIMARCBK990001199670403321C-30-(22-3ED11591MA1MA1Undecidable Theories339840UNINAING01