The following pages link to John Cowles (Q1135305):
Displaying 6 items.
- Some congruence properties of three well-known sequences: Two notes (Q1135306) (← links)
- Generalized Archimedean fields (Q1165847) (← links)
- (Q2642460) (redirect page) (← links)
- Theory extension in ACL2(r) (Q2642461) (← links)
- A Cantor Trio: Denumerability, the Reals, and the Real Algebraic Numbers (Q2914732) (← links)
- The Henkin Quantifier and Real Closed Fields (Q4740553) (← links)