rohit Parikh. (1985). Logics of programs. Springer-Verlag.
Chicago Edition Citationrohit Parikh. Logics of Programs. Springer-Verlag, 1985.
Deismireacht MLArohit Parikh. Logics of Programs. Springer-Verlag, 1985.
Rabhadh: D'fhéadfadh nach mbeadh na deismireachtaí seo 100% cruinn i gcónaí.