Normal view
MARC view
Ramsey's theorem (Topical Term)
Machine generated authority record.
Work cat.: (inmoiis): Boolos,George S. 3365, Computability and logic, New york