Carol R. Karp

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

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)

	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)