Matches in Library of Congress for { <http://lccn.loc.gov/87018305> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- 87018305 contributor B5399257.
- 87018305 created "1987.".
- 87018305 date "1987".
- 87018305 date "1987.".
- 87018305 dateCopyrighted "1987.".
- 87018305 description "Bibliography: p. [289]-295.".
- 87018305 extent "xiii, 302 p. ;".
- 87018305 identifier "0521346320".
- 87018305 identifier 87018305.html.
- 87018305 identifier 87018305.html.
- 87018305 identifier 87018305.html.
- 87018305 isPartOf "Cambridge tracts in theoretical computer science ; 2".
- 87018305 issued "1987".
- 87018305 issued "1987.".
- 87018305 language "eng".
- 87018305 publisher "Cambridge ; New York : Cambridge University Press,".
- 87018305 subject "005.1 19".
- 87018305 subject "Cambridge LCF (Computer system)".
- 87018305 subject "Computable functions Data processing.".
- 87018305 subject "QA9.59 .P38 1987".
- 87018305 title "Logic and computation : interactive proof with Cambridge LCF / Lawrence C. Paulson.".
- 87018305 type "text".