Matches in Library of Congress for { <http://lccn.loc.gov/2001372934> ?p ?o. }
Showing items 1 to 18 of
18
with 100 items per page.
- 2001372934 contributor B9084011.
- 2001372934 created "c2000.".
- 2001372934 date "2000".
- 2001372934 date "c2000.".
- 2001372934 dateCopyrighted "c2000.".
- 2001372934 description "Includes bibliographical references (p. 121-126) and index.".
- 2001372934 description "Thesis (Ph. D.)--Uppsala University, 2001.".
- 2001372934 extent "x, 130 p. :".
- 2001372934 identifier "9150614436".
- 2001372934 isPartOf "Uppsala theses in computing science, 0283-359X ; 34".
- 2001372934 issued "2000".
- 2001372934 issued "c2000.".
- 2001372934 language "eng".
- 2001372934 publisher "Uppsala, Sweden : Computing Science Dept., Uppsala University,".
- 2001372934 subject "Computer logic.".
- 2001372934 subject "QA76.9.L63 T43 2000".
- 2001372934 title "Term-modal logic and quantifier-free dynamic assignment logic [microform] / Lars Thalmann.".
- 2001372934 type "text".