The following pages link to Ulf R. Schmerl (Q1098647):
Displaying 13 items.
- (Q673131) (redirect page) (← links)
- Formalizing Dijkstra's predicate transformer wp in weak second-order logic (Q673132) (← links)
- Resolution on formula-trees (Q1098648) (← links)
- Diophantine equations in fragments in arithmetic (Q1112811) (← links)
- (Q3705450) (← links)
- (Q3765263) (← links)
- (Q3765772) (← links)
- (Q3866106) (← links)
- (Q3960847) (← links)
- (Q3966123) (← links)
- Iterated reflection principles and the <i>ω</i>-rule (Q3966133) (← links)
- (Q4202953) (← links)
- (Q4742776) (← links)
