Pages that link to "Item:Q3335777"
From MaRDI portal
The following pages link to Two further combinatorial theorems equivalent to the 1-consistency of peano arithmetic (Q3335777):
Displaying 4 items.
The following pages link to Two further combinatorial theorems equivalent to the 1-consistency of peano arithmetic (Q3335777):
Displaying 4 items.