APA

Mckinsey J. C. C., . (1939). Proof of the independence of the primitive symbols of Heyting's calculus of propositions. New York: Association of Symbolic Logic.

Chicago

Mckinsey J C C, . 1939. Proof of the independence of the primitive symbols of Heyting's calculus of propositions. New York: Association of Symbolic Logic.

Harvard

Mckinsey J. C. C., . (1939). Proof of the independence of the primitive symbols of Heyting's calculus of propositions. New York: Association of Symbolic Logic.

MLA

Mckinsey J C C, . Proof of the independence of the primitive symbols of Heyting's calculus of propositions. New York: Association of Symbolic Logic. 1939.