rohit Parikh. (1985). Logics of programs. Springer-Verlag.
Dyfyniad Arddull Chicagorohit Parikh. Logics of Programs. Springer-Verlag, 1985.
Dyfyniad MLArohit Parikh. Logics of Programs. Springer-Verlag, 1985.
Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.