rohit Parikh. (1985). Logics of programs. Springer-Verlag.
Chicago Edition Citationrohit Parikh. Logics of Programs. Springer-Verlag, 1985.
Cita MLArohit Parikh. Logics of Programs. Springer-Verlag, 1985.
Atenció: Aquestes cites poden no estar 100% correctes.