APA

Chang C., Lee R. C., . (1973). Symbolic logic and mechanical theorem proving. San Diego [u.a.]: Academic Press.

Chicago

Chang Chin-liang, Lee Richard Char-Tung, . 1973. Symbolic logic and mechanical theorem proving. San Diego [u.a.]: Academic Press.

Harvard

Chang C., Lee R. C., . (1973). Symbolic logic and mechanical theorem proving. San Diego [u.a.]: Academic Press.

MLA

Chang Chin-liang, Lee Richard Char-Tung, . Symbolic logic and mechanical theorem proving. San Diego [u.a.]: Academic Press. 1973.