| |
| 1963 | ||
|---|---|---|
| 2 | Carol R. Karp: Twenty-Eighth Annual Meeting of the Association for Symbolic Logic. J. Symb. Log. 28(4): 297-308 (1963) | |
| 1962 | ||
| 1 | Carol R. Karp: Independence Proofs in Predicate Logic with Infinitely Long Expressions. J. Symb. Log. 27(2): 171-188 (1962) | |