| |
| 1988 | ||
|---|---|---|
| 3 | Charles McCarty: Constructive Validity is Nonarithmetic. J. Symb. Log. 53(4): 1036-1041 (1988) | |
| 2 | Charles McCarty: Markov's Principle, Isols and Dedekind Finite Sets. J. Symb. Log. 53(4): 1042-1069 (1988) | |
| 1983 | ||
| 1 | Charles McCarty: Information Systems, Continuity and Realizability. Logic of Programs 1983: 341-259 | |