When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network.
In recent years, several remarkable results have shown that certain theorems of finite combinatorics are unprovable in certain logical systems. Because of the diversity of the lines of research that have begun to shed light on these issues, there was a need for a comprehensive overview which would tie the lines together.
When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network.