Hoare, C. (1985). A Couple of Novelties in the Propositional Calculus.
Dyfyniad Arddull ChicagoHoare, C. A Couple of Novelties in the Propositional Calculus. 1985.
Dyfyniad MLAHoare, C. A Couple of Novelties in the Propositional Calculus. 1985.
Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.