Undecidability and intuitionistic incompletenessMCCARTY, D. C.Journal of philosophical logic. 1996, Vol 25, Num 5, pp 559-565, issn 0022-3611Article

Polymorphism and apartnessMCCARTY, D. C.Notre Dame journal of formal logic. 1991, Vol 32, Num 4, pp 513-532, issn 0029-4527Article

Incompleteness in intuitionistic metamathematicsMCCARTY, D. C.Notre Dame journal of formal logic. 1991, Vol 32, Num 3, pp 323-358, issn 0029-4527Article

Problems and riddles : Hilbert and the du Bois-ReymondsMCCARTY, D. C.Synthese (Dordrecht). 2005, Vol 147, Num 1, pp 63-79, issn 0039-7857, 17 p.Article

A program for transtracheal oxygen delivery: assessment of safety and efficacyCHRISTOPHER, K. L; SPOFFORD, B. T; PETRUN, M. D et al.Annals of internal medicine. 1987, Vol 107, Num 6, pp 802-808, issn 0003-4819Article