Matches in Library of Congress for { <http://lccn.loc.gov/89072178> ?p ?o. }
Showing items 1 to 23 of
23
with 100 items per page.
- 89072178 contributor B5898758.
- 89072178 contributor B5898759.
- 89072178 created "1990.".
- 89072178 date "1990".
- 89072178 date "1990.".
- 89072178 dateCopyrighted "1990.".
- 89072178 description "Includes bibliographical references (p. [203]-211) and index.".
- 89072178 extent "x, 221 p. ;".
- 89072178 identifier "0198538146".
- 89072178 identifier 89072178-d.html.
- 89072178 identifier 89072178-t.html.
- 89072178 isPartOf "International series of monographs on computer science ; 7".
- 89072178 isPartOf "Oxford science publications".
- 89072178 issued "1990".
- 89072178 issued "1990.".
- 89072178 language "eng".
- 89072178 publisher "Oxford : Clarendon Press ; New York : Oxford University Press,".
- 89072178 subject "005.1 20".
- 89072178 subject "Computer programming.".
- 89072178 subject "QA76.6 .N66 1990".
- 89072178 subject "Set theory.".
- 89072178 title "Programming in Martin-Löf's type theory : an introduction / Bengt Nordström, Kent Petersson, and Jan M. Smith.".
- 89072178 type "text".