Parikh Rohit Ed. Proceeding on logics of programs Parikh Rohit Ed. - Berlin Springer-Verlag 1985 - vi,424p. cm. - Lecture notes in computer science; 193 . Standard No.: 40294 Source: Textual Subjects--Topical Terms: Statistics Dewey Class. No.: B288, M5