Matches in Library of Congress for { <http://lccn.loc.gov/00030380> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 00030380 contributor B20438.
- 00030380 contributor B20439.
- 00030380 created "2000.".
- 00030380 date "2000".
- 00030380 date "2000.".
- 00030380 dateCopyrighted "2000.".
- 00030380 description "Includes bibliographical references and index.".
- 00030380 extent "xv, 459 p. :".
- 00030380 identifier "0262082896 (alk. hc)".
- 00030380 isPartOf "Foundations of computing".
- 00030380 issued "2000".
- 00030380 issued "2000.".
- 00030380 language "eng".
- 00030380 publisher "Cambridge, Mass. : MIT Press,".
- 00030380 subject "004/.01/5113 21".
- 00030380 subject "Computer logic.".
- 00030380 subject "Formal methods (Computer science)".
- 00030380 subject "QA76.9.L63 H37 2000".
- 00030380 title "Dynamic logic / David Harel, Dexter Kozen, Jerzy Tiuryn.".
- 00030380 type "text".