Matches in Library of Congress for { <http://lccn.loc.gov/82000863> ?p ?o. }
Showing items 1 to 19 of
19
with 100 items per page.
- 82000863 contributor B4165916.
- 82000863 created "1982.".
- 82000863 date "1982".
- 82000863 date "1982.".
- 82000863 dateCopyrighted "1982.".
- 82000863 description "Bibliography: p. 291-298.".
- 82000863 extent "xi, 304 p. ;".
- 82000863 identifier "0387112103 (U.S.)".
- 82000863 isPartOf "Lecture notes in computer science ; 130".
- 82000863 issued "1982".
- 82000863 issued "1982.".
- 82000863 language "eng".
- 82000863 publisher "Berlin ; New York : Springer-Verlag,".
- 82000863 subject "519.4 19".
- 82000863 subject "Programming languages (Electronic computers) Semantics.".
- 82000863 subject "Proof theory.".
- 82000863 subject "QA76.7 .G65 1982".
- 82000863 title "Axiomatising the logic of computer programming / Robert Goldblatt.".
- 82000863 type "text".