The following pages link to Kees Doets (Q579236):
Displaying 17 items.
- On n-equivalence of binary trees (Q579237) (← links)
- A slight strengthening of a theorem of Blair and Kunen (Q1193866) (← links)
- Monadic \(\Pi _ 1^ 1\)-theories of \(\Pi _ 1^ 1\)-properties (Q1264142) (← links)
- Left termination turned into termination (Q1318730) (← links)
- Uniform short proofs for classical theorems (Q1409313) (← links)
- (Q2702233) (← links)
- (Q3571955) (← links)
- Axiomatizing universal properties of quantifiers (Q3985088) (← links)
- Elementary Properties of the Finite Ranks (Q4210837) (← links)
- Relatives of the Russell Paradox (Q4238427) (← links)
- A new definition of SLDNF-resolution (Q4285644) (← links)
- Levationis Laus (Q4286221) (← links)
- (Q4318616) (← links)
- (Q4342090) (← links)
- (Q4789460) (← links)
- (Q4912026) (← links)
- (Q5687548) (← links)
