Machine generated authority record

Work cat.: (OSt)170695: Mckinsey, J. C. C. 93563, Proof of the Independence of the Primitive Symbols of Heyting'S Calculus of Propositions