Chester, Daniel L., Formal Logic and the Representations of Linguistic Deep Structure (1973) Chihara, Charles S., On the Possibility of Completing an Infinite Process (1963) Chihara, Charles S., Chapter III Poincare's Philosophy of Mathematics (1967) Chihara, Charles S., A Simple Type Theory Without Platonic Domains (1984) Choi, Byoung-Il, From Consistency to Incompleteness: A Philosophical Study of Hilbert's Program and Gödel's Incompleteness Theorem (1997) Cholak, Peter ; Groszek, Marcia ; Slaman, Theodore, An Almost Deep Degree (1999) Chompsky, Noam; Miller, George A., Introduction to the Formal Analysis of Natural Languages (1963) Chomsky, Noam, Formal Properties of Grammars (1963) Chomsky, Noam, Deep Structure, Surface Structure, and Semantic Interpretation (1969) Chong, Chi Tat, Tame $\Sigma_2$ Functions in $\alpha$-Recursion Theory (1973)