Pages that link to "Item:Q3617380"
From MaRDI portal
The following pages link to Examining Fragments of the Quantified Propositional Calculus (Q3617380):
Displaying 5 items.
- Herbrand's theorem as higher order recursion (Q1987218) (← links)
- Quantified propositional calculus and a second-order theory for NC\(^{\text \textbf{1}}\) (Q2388433) (← links)
- Simulating non-prenex cuts in quantified propositional calculus (Q3096088) (← links)
- (Q3351351) (← links)
- Quantified propositional calculi and fragments of bounded arithmetic (Q3472099) (← links)