| |
| 2002 | ||
|---|---|---|
| 4 | David Charles McCarty: Intuitionistic Completeness and Classical Logic. Notre Dame Journal of Formal Logic 43(4): 243-248 (2002) | |
| 1994 | ||
| 3 | David Charles McCarty: On Theorems of Gödel and Kreisel: Completeness and Markov's Principle. Notre Dame Journal of Formal Logic 35(1): 99-107 (1994) | |
| 1991 | ||
| 2 | David Charles McCarty: Incompleteness in Intuitionistic Metamathematics. Notre Dame Journal of Formal Logic 32(3): 323-358 (1991) | |
| 1 | David Charles McCarty: Polymorphism and Apartness. Notre Dame Journal of Formal Logic 32(4): 513-532 (1991) | |