Ramsey's Theorem
Main Author: | |
---|---|
Format: | Article |
Language: | English |
Published: |
Sciendo
2008-01-01
|
Series: | Formalized Mathematics |
Online Access: | https://doi.org/10.2478/v10037-008-0026-y |
id |
doaj-4b3aa354c393489dabb9dd05b0f93ad5 |
---|---|
record_format |
Article |
spelling |
doaj-4b3aa354c393489dabb9dd05b0f93ad52021-09-05T18:16:47ZengSciendoFormalized Mathematics1426-26301898-99342008-01-0116220320510.2478/v10037-008-0026-yRamsey's TheoremRiccardi Marco0Casella Postale 49 54038 Montignoso, Italyhttps://doi.org/10.2478/v10037-008-0026-y |
collection |
DOAJ |
language |
English |
format |
Article |
sources |
DOAJ |
author |
Riccardi Marco |
spellingShingle |
Riccardi Marco Ramsey's Theorem Formalized Mathematics |
author_facet |
Riccardi Marco |
author_sort |
Riccardi Marco |
title |
Ramsey's Theorem |
title_short |
Ramsey's Theorem |
title_full |
Ramsey's Theorem |
title_fullStr |
Ramsey's Theorem |
title_full_unstemmed |
Ramsey's Theorem |
title_sort |
ramsey's theorem |
publisher |
Sciendo |
series |
Formalized Mathematics |
issn |
1426-2630 1898-9934 |
publishDate |
2008-01-01 |
url |
https://doi.org/10.2478/v10037-008-0026-y |
work_keys_str_mv |
AT riccardimarco ramseystheorem |
_version_ |
1717786143983927296 |