rohit Parikh. (1985). Logics of programs. Springer-Verlag.
Chicago Edition Citationrohit Parikh. Logics of Programs. Springer-Verlag, 1985.
MLA citiranjerohit Parikh. Logics of Programs. Springer-Verlag, 1985.
Opozorilo: Ti citati niso vedno 100% točni.