Matches in Library of Congress for { <http://lccn.loc.gov/79024745> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 79024745 contributor B3512446.
- 79024745 contributor B3512447.
- 79024745 created "1979.".
- 79024745 date "1979".
- 79024745 date "1979.".
- 79024745 dateCopyrighted "1979.".
- 79024745 description "Bibliography: p. [153]-157.".
- 79024745 extent "viii, 159 p. ;".
- 79024745 identifier "0387097244".
- 79024745 isPartOf "Lecture notes in computer science ; 78".
- 79024745 issued "1979".
- 79024745 issued "1979.".
- 79024745 language "eng".
- 79024745 publisher "Berlin ; New York : Springer-Verlag,".
- 79024745 subject "510/.8 s 001.6/4".
- 79024745 subject "Computable functions Data processing.".
- 79024745 subject "Edinburgh LCF (Computer system)".
- 79024745 subject "QA9.59 .G67".
- 79024745 title "Edinburgh LCF : a mechanised logic of computation / Michael J. Gordon, Arthur J. Milner, Christopher P. Wadsworth.".
- 79024745 type "text".