Pages that link to "Item:Q2893325"
From MaRDI portal
The following pages link to A logical basis for constructive systems (Q2893325):
Displaying 12 items.
- Introduction to clarithmetic. II (Q259084) (← links)
- Introduction to clarithmetic. III (Q392285) (← links)
- Introduction to clarithmetic. I (Q642523) (← links)
- The taming of recurrences in computability logic through cirquent calculus. II (Q1935368) (← links)
- The taming of recurrences in computability logic through cirquent calculus. I (Q1935369) (← links)
- Build your own clarithmetic I: Setup and completeness (Q2974779) (← links)
- A Logical Architecture of a Normative System (Q3529351) (← links)
- Towards applied theories based on computability logic (Q3570163) (← links)
- NOTIONAL LOGIC OF SYSTEMS (Q4781419) (← links)
- (Q4934620) (← links)
- (Q5490623) (← links)
- A propositional cirquent calculus for computability logic. (Q6661240) (← links)