An introduction to Ramsey theory fast functions, infinity, and metamathematics - Katz, Matthew 1986-; Reimann, Jan 1971- (Student mathematical library, 2018)