Matches in Library of Congress for { <http://lccn.loc.gov/98029962> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 98029962 alternative "25 years of constructive type theory".
- 98029962 contributor B8351377.
- 98029962 created "1998.".
- 98029962 date "1998".
- 98029962 date "1998.".
- 98029962 dateCopyrighted "1998.".
- 98029962 description "Includes bibliographical references.".
- 98029962 extent "vii, 283 p. ;".
- 98029962 isPartOf "Oxford logic guides ; 36".
- 98029962 isPartOf "Oxford science publications".
- 98029962 issued "1998".
- 98029962 issued "1998.".
- 98029962 language "eng".
- 98029962 publisher "Oxford : Clarendon Press ; New York : Oxford University Press,".
- 98029962 subject "511.3 21".
- 98029962 subject "QA9.A1 T94 1998".
- 98029962 subject "Type theory Congresses.".
- 98029962 title "25 years of constructive type theory".
- 98029962 title "Twenty-five years of constructive type theory : proceedings of a congress held in Venice, October 1995 / edited by Giovanni Sambin and Jan M. Smith.".
- 98029962 type "text".