Matches in Library of Congress for { <http://lccn.loc.gov/2003045807> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- 2003045807 contributor B9535924.
- 2003045807 created "c2003.".
- 2003045807 date "2003".
- 2003045807 date "c2003.".
- 2003045807 dateCopyrighted "c2003.".
- 2003045807 description "Includes bibliographical references.".
- 2003045807 extent "xxi, 284 p. :".
- 2003045807 identifier "1402012705 (alk. paper)".
- 2003045807 identifier 2003045807-d.html.
- 2003045807 identifier 2003045807-t.html.
- 2003045807 isPartOf "Trends in logic ; v. 18".
- 2003045807 issued "2003".
- 2003045807 issued "c2003.".
- 2003045807 language "eng".
- 2003045807 publisher "Dordrecht ; Boston : Kluwer Academic Publishers,".
- 2003045807 subject "511.3 21".
- 2003045807 subject "Modality (Logic)".
- 2003045807 subject "Parallel programming (Computer science)".
- 2003045807 subject "Proof theory.".
- 2003045807 subject "QA9.54 .L64 2003".
- 2003045807 title "Logic for concurrency and synchronisation / edited by Ruy J.G.B. de Queiroz.".
- 2003045807 type "text".