Matches in Harvard for { <http://id.lib.harvard.edu/aleph/007950815/catalog> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- catalog alternative "25 years of constructive type theory".
- catalog contributor b11022265.
- catalog contributor b11022266.
- catalog created "1998.".
- catalog date "1998".
- catalog date "1998.".
- catalog dateCopyrighted "1998.".
- catalog description "Includes bibliographical references.".
- catalog extent "vii, 383 p. ;".
- catalog isPartOf "Oxford logic guides ; 36".
- catalog issued "1998".
- catalog issued "1998.".
- catalog language "eng".
- catalog publisher "Oxford : Clarendon Press ; New York : Oxford University Press,".
- catalog subject "511.3 21".
- catalog subject "QA9.A1 T94 1998".
- catalog subject "Type theory Congresses.".
- catalog title "25 years of constructive type theory".
- catalog 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.".
- catalog type "text".