Matches in Harvard for { <http://id.lib.harvard.edu/aleph/008687999/catalog> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- catalog contributor b12171303.
- catalog contributor b12171304.
- catalog contributor b12171305.
- catalog created "c2000.".
- catalog date "2000".
- catalog date "c2000.".
- catalog dateCopyrighted "c2000.".
- catalog description "Includes bibliographical references and index.".
- catalog extent "xv, 459 p. :".
- catalog identifier "0262082896 (alk. hc)".
- catalog isPartOf "Foundations of computing".
- catalog issued "2000".
- catalog issued "c2000.".
- catalog language "eng".
- catalog publisher "Cambridge, Mass. : MIT Press,".
- catalog subject "004/.01/5113 21".
- catalog subject "Computer logic.".
- catalog subject "Formal methods (Computer science)".
- catalog subject "QA76.9.L63 H37 2000".
- catalog title "Dynamic logic / David Harel, Dexter Kozen, Jerzy Tiuryn.".
- catalog type "text".