Pages that link to "Item:Q4795874"
From MaRDI portal
The following pages link to On Uniformly Constructive and Semiconstructive Formal Systems (Q4795874):
Displaying 4 items.
- A complete and consistent formal system for sortals (Q1591344) (← links)
- A proof-theoretical analysis of semiconstructive intermediate theories (Q1868239) (← links)
- A note on the strong and weak generative powers of formal systems (Q1870566) (← links)
- Formal systems of constructive mathematics (Q3237138) (← links)