Hoare, C. (1985). A Couple of Novelties in the Propositional Calculus.
Չիկագոյի ոճի (17րդ խմբ.) մեջբերումHoare, C. A Couple of Novelties in the Propositional Calculus. 1985.
MLA (9րդ խմբ.) ՄեջբերումHoare, C. A Couple of Novelties in the Propositional Calculus. 1985.
Զգուշացում. այս մեջբերումները միշտ չէ, որ կարող են 100% ճշգրիտ լինել.