Pages that link to "Item:Q412061"
From MaRDI portal
The following pages link to Menger's theorem in \(\Pi^1_1 \mathrm {-CA}_0\) (Q412061):
Displaying 2 items.
The following pages link to Menger's theorem in \(\Pi^1_1 \mathrm {-CA}_0\) (Q412061):
Displaying 2 items.