Pages that link to "Item:Q3762282"
From MaRDI portal
The following pages link to On the Logical System L<sub>1</sub> (Q3762282):
Displaying 5 items.
- On the system CL12 of computability logic (Q2941766) (← links)
- (Q3109500) (← links)
- An Investigation on the Logical Structure of Mathematics (VI): Consistent V-System T(V) (With Corrections to Part (XII)) (Q3271838) (← links)
- MULTIPLE FORMS OF GENTZEN'S RULES AND SOME INTERMEDIATE LOGICS (Q3708780) (← links)
- (Q4856241) (← links)