Dynamic Logic (Foundations of Computing)
Edition: 1st edition
Publisher: The MIT Press
Published: October 2, 2000
Language: eng
Format: Hardcover
Number of pages: 450
ISBN-13: 9780262082891
Subjects: Computer Programming; Mathematical theory of computation; Formal Language Theory; Computers; Computers - General Information; Computer Books: General; Computer Science; Logic Design; Programming - General; Computers / Computer Science; Computer Logic; Formal methods (Computer scien; Formal methods (Computer science)
First sentence: The integers, the rational numbers, and the real numbers are denoted Z, Q, and R, respectively.