000 | 01314cam a2200325 i 4500 | ||
---|---|---|---|
001 | 20508197 | ||
003 | IIITD | ||
005 | 20211221020002.0 | ||
008 | 190221b xxu||||| |||| 00| 0 eng d | ||
020 | _a9781470442903 | ||
040 | _aDLC | ||
082 | 0 | 0 |
_a511.66 _bKAT-I |
100 | 1 | _aKatz, Matthew. | |
245 | 1 | 3 |
_aAn introduction to Ramsey theory : _bfast functions, infinity, and metamathematics _cMatthew Katz, Jan Reimann. |
260 |
_aProvidence, Rhode island : _bAmerican Mathematical Society, _c©2018 |
||
300 |
_axiv, 207 p. : _bill. ; _c22cm. |
||
490 |
_aStudent mathematical library ; _vvol. 87 |
||
500 | _a"Mathematics Advanced Study Semesters." | ||
504 | _aIncludes bibliographical references and index. | ||
650 | 0 | _aRamsey theory. | |
650 | 0 | _aCombinatorial analysis. | |
650 | 7 | _aCombinatorics -- Extremal combinatorics -- Ramsey theory. | |
650 | 7 | _aInstructional exposition (textbooks, tutorial papers, etc.). | |
650 | 7 | _aSet theory -- Ordinal and cardinal numbers. | |
650 | 7 | _aGeneral logic -- Classical first-order logic. | |
650 | 7 | _aGeneral logic -- Decidability of theories and sets of sentences. | |
650 | 7 | _aComputability and recursion theory -- Recursive functions and relations, subrecursive hierarchies. | |
700 | 1 | _aReimann, Jan | |
942 |
_2ddc _cBK _01 |
||
999 |
_c25093 _d25093 |