rohit Parikh. (1985). Logics of programs. Springer-Verlag.
シカゴスタイル引用形rohit Parikh. Logics of Programs. Springer-Verlag, 1985.
MLA引用形式rohit Parikh. Logics of Programs. Springer-Verlag, 1985.
警告: この引用は必ずしも正確ではありません.
APA引用形式