Cover von Ramsey Theorem for Pairs As a Classical Principle in Intuitionistic Arithmetic opens in new tab

Ramsey Theorem for Pairs As a Classical Principle in Intuitionistic Arithmetic

Year: 2014
Media group: LIPIcs

Details

Search for this author
Year: 2014
opens in new tab
Search for this systematic
Search for this subject type
Description: pp. 64-83
Participating parties: Search for this character Berardi, Stefano; Steila, Silvia
Media group: LIPIcs