rohit Parikh. (1985). Logics of programs. Springer-Verlag.
Styl Chicagorohit Parikh. Logics of Programs. Springer-Verlag, 1985.
Citace podle MLArohit Parikh. Logics of Programs. Springer-Verlag, 1985.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..