The following pages link to Carol Karp (Q4065506):
Displaying 9 items.
- (Q4065507) (← links)
- (Q5332215) (← links)
- (Q5549799) (← links)
- (Q5591511) (← links)
- Nonaxiomatizability results for infinitary systems (Q5601465) (← links)
- (Q5625138) (← links)
- (Q5666547) (← links)
- Independence proofs in predicate logic with infinitely long expressions (Q5722255) (← links)
- A Note on the Representation of α-Complete Boolean Algebras (Q5724812) (← links)