Pages that link to "Item:Q266212"
From MaRDI portal
The following pages link to Interpretation of constructive multi-typed theory in the theory of arithmetical truth (Q266212):
Displaying 4 items.
The following pages link to Interpretation of constructive multi-typed theory in the theory of arithmetical truth (Q266212):
Displaying 4 items.