rohit Parikh. (1985). Logics of programs. Springer-Verlag.
Citación estilo Chicagorohit Parikh. Logics of Programs. Springer-Verlag, 1985.
Cita MLArohit Parikh. Logics of Programs. Springer-Verlag, 1985.
Precaución: Estas citas no son 100% exactas.