Matches in Library of Congress for { <http://lccn.loc.gov/96050390> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- 96050390 contributor B7793889.
- 96050390 created "1997.".
- 96050390 date "1997".
- 96050390 date "1997.".
- 96050390 dateCopyrighted "1997.".
- 96050390 description "Includes bibliographical references and index.".
- 96050390 extent "xii, 361 p. :".
- 96050390 identifier "0521580579 (hardback)".
- 96050390 identifier 96050390.html.
- 96050390 identifier 96050390.html.
- 96050390 isPartOf "Publications of the Newton Institute ; 14".
- 96050390 issued "1997".
- 96050390 issued "1997.".
- 96050390 language "eng".
- 96050390 publisher "Cambridge ; New York : Cambridge University Press,".
- 96050390 subject "004/.01/5113 21".
- 96050390 subject "Electronic data processing.".
- 96050390 subject "Logic, Symbolic and mathematical.".
- 96050390 subject "Programming languages (Electronic computers) Semantics.".
- 96050390 subject "QA76 .S425 1997".
- 96050390 title "Semantics and logics of computation / edited by Andrew M. Pitts, Peter Dybjer.".
- 96050390 type "text".