Normal view
MARC view
Philosophy-Symbolic Logic(Topical Term)
Machine generated authority record.
Work cat.: (OSt)477950: Tarski Alfred, Undecidable theories, 1953