rohit Parikh. (1985). Logics of programs. Springer-Verlag.
Chicago Edition Citationrohit Parikh. Logics of Programs. Springer-Verlag, 1985.
ציטוט MLArohit Parikh. Logics of Programs. Springer-Verlag, 1985.
אזהרה: ציטוטים אלה לעיתים לא מדויקים ב 100%.