Pages that link to "Item:Q1087871"
From MaRDI portal
The following pages link to A subsystem of classical analysis proper to Takeuti's reduction method for \(\Pi ^ 1_ 1\)-analysis (Q1087871):
Displaying 4 items.
The following pages link to A subsystem of classical analysis proper to Takeuti's reduction method for \(\Pi ^ 1_ 1\)-analysis (Q1087871):
Displaying 4 items.