The following pages link to A Framework for Metamathematics (Q5055278):
Displaying 10 items.
- Representation and preservation of the metamathematical quotients of A. Robinson (Q1802263) (← links)
- A metasemantic challenge for mathematical determinacy (Q2054113) (← links)
- (Q3845365) (← links)
- (Q4346400) (← links)
- Metamathematics and the Philosophical Tradition (Q4603372) (← links)
- Hilbert’s Axiomatisches Denken (Q5057047) (← links)
- (Q5202655) (← links)
- Перспективы метаматематических структур в науке (Q5221915) (← links)
- Constructivism and Metamathematics (Q5258986) (← links)
- (Q5711885) (← links)