Staff View: Twenty-five years of constructive type theory

Twenty-five years of constructive type theory : proceedings of a congress held in Venice, October 1995 / / edited by Giovanni Sambin and Jan M. Smith.

Saved in:

Bibliographic Details
Superior document:	Oxford logic guides ; 36
:	ProQuest (Firm)
TeilnehmendeR:	Sambin, Giovanni. Smith, Jan M. ProQuest (Firm)
Year of Publication:	1998
Language:	English
Series:	Oxford logic guides ; 36. Oxford science publications.
Online Access:	https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=684605
Physical Description:	vii, 283 p.
Tags:	Add Tag No Tags, Be the first to tag this record!

id	500684605
ctrlnum	(MiAaPQ)500684605 (Au-PeEL)EBL684605 (CaPaEBR)ebr10464228 (CaONFJC)MIL81972 (OCoLC)714569778
collection	bib_alma
record_format	marc
spelling	Twenty-five years of constructive type theory [electronic resource] : proceedings of a congress held in Venice, October 1995 / edited by Giovanni Sambin and Jan M. Smith. 25 years of constructive type theory Oxford : Clarendon Press ; New York : Oxford University Press, 1998. vii, 283 p. Oxford logic guides ; 36 Oxford science publications Includes bibliographical references. Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries. Type theory Congresses. Logic, Symbolic and mathematical Congresses. Electronic books. Sambin, Giovanni. Smith, Jan M. ProQuest (Firm) Oxford logic guides ; 36. Oxford science publications. https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=684605 Click to View
language	English
format	Electronic eBook
author2	Sambin, Giovanni. Smith, Jan M. ProQuest (Firm)
author_facet	Sambin, Giovanni. Smith, Jan M. ProQuest (Firm) ProQuest (Firm)
author2_variant	g s gs j m s jm jms
author2_role	TeilnehmendeR TeilnehmendeR TeilnehmendeR
author_corporate	ProQuest (Firm)
author_sort	Sambin, Giovanni.
title	Twenty-five years of constructive type theory proceedings of a congress held in Venice, October 1995 /
spellingShingle	Twenty-five years of constructive type theory proceedings of a congress held in Venice, October 1995 / Oxford logic guides ; Oxford science publications
title_sub	proceedings of a congress held in Venice, October 1995 /
title_full	Twenty-five years of constructive type theory [electronic resource] : proceedings of a congress held in Venice, October 1995 / edited by Giovanni Sambin and Jan M. Smith.
title_fullStr	Twenty-five years of constructive type theory [electronic resource] : proceedings of a congress held in Venice, October 1995 / edited by Giovanni Sambin and Jan M. Smith.
title_full_unstemmed	Twenty-five years of constructive type theory [electronic resource] : proceedings of a congress held in Venice, October 1995 / edited by Giovanni Sambin and Jan M. Smith.
title_auth	Twenty-five years of constructive type theory proceedings of a congress held in Venice, October 1995 /
title_alt	25 years of constructive type theory
title_new	Twenty-five years of constructive type theory
title_sort	twenty-five years of constructive type theory proceedings of a congress held in venice, october 1995 /
series	Oxford logic guides ; Oxford science publications
series2	Oxford logic guides ; Oxford science publications
publisher	Clarendon Press ; Oxford University Press,
publishDate	1998
physical	vii, 283 p.
callnumber-first	Q - Science
callnumber-subject	QA - Mathematics
callnumber-label	QA9
callnumber-sort	QA 19 A1 T94 41998
genre	Electronic books.
genre_facet	Congresses. Electronic books.
url	https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=684605
illustrated	Not Illustrated
dewey-hundreds	500 - Science
dewey-tens	510 - Mathematics
dewey-ones	511 - General principles of mathematics
dewey-full	511.3
dewey-sort	3511.3
dewey-raw	511.3
dewey-search	511.3
oclc_num	714569778
work_keys_str_mv	AT sambingiovanni twentyfiveyearsofconstructivetypetheoryproceedingsofacongressheldinveniceoctober1995 AT smithjanm twentyfiveyearsofconstructivetypetheoryproceedingsofacongressheldinveniceoctober1995 AT proquestfirm twentyfiveyearsofconstructivetypetheoryproceedingsofacongressheldinveniceoctober1995 AT sambingiovanni 25yearsofconstructivetypetheory AT smithjanm 25yearsofconstructivetypetheory AT proquestfirm 25yearsofconstructivetypetheory
status_str	n
ids_txt_mv	(MiAaPQ)500684605 (Au-PeEL)EBL684605 (CaPaEBR)ebr10464228 (CaONFJC)MIL81972 (OCoLC)714569778
hierarchy_parent_title	Oxford logic guides ; 36 Oxford science publications
hierarchy_sequence	36.
is_hierarchy_title	Twenty-five years of constructive type theory proceedings of a congress held in Venice, October 1995 /
container_title	Oxford logic guides ; 36
author2_original_writing_str_mv	noLinkedField noLinkedField noLinkedField
_version_	1792330712454529024
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01646nam a2200433Ia 4500</leader><controlfield tag="001">500684605</controlfield><controlfield tag="003">MiAaPQ</controlfield><controlfield tag="005">20200520144314.0</controlfield><controlfield tag="006">m o d \| </controlfield><controlfield tag="007">cr cn\|\|\|\|\|\|\|\|\|</controlfield><controlfield tag="008">980622s1998 enk sb 100 0 eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="z"> 98029962 </subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9780198501275</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">0198501277</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(MiAaPQ)500684605</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(Au-PeEL)EBL684605</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CaPaEBR)ebr10464228</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CaONFJC)MIL81972</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)714569778</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">MiAaPQ</subfield><subfield code="c">MiAaPQ</subfield><subfield code="d">MiAaPQ</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA9.A1</subfield><subfield code="b">T94 1998</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">511.3</subfield><subfield code="2">21</subfield></datafield><datafield tag="245" ind1="0" ind2="0"><subfield code="a">Twenty-five years of constructive type theory</subfield><subfield code="h">[electronic resource] :</subfield><subfield code="b">proceedings of a congress held in Venice, October 1995 /</subfield><subfield code="c">edited by Giovanni Sambin and Jan M. Smith.</subfield></datafield><datafield tag="246" ind1="3" ind2=" "><subfield code="a">25 years of constructive type theory</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">Oxford :</subfield><subfield code="b">Clarendon Press ;</subfield><subfield code="a">New York :</subfield><subfield code="b">Oxford University Press,</subfield><subfield code="c">1998.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">vii, 283 p.</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Oxford logic guides ;</subfield><subfield code="v">36</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Oxford science publications</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references.</subfield></datafield><datafield tag="533" ind1=" " ind2=" "><subfield code="a">Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Type theory</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Logic, Symbolic and mathematical</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="655" ind1=" " ind2="4"><subfield code="a">Electronic books.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Sambin, Giovanni.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Smith, Jan M.</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">ProQuest (Firm)</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Oxford logic guides ;</subfield><subfield code="v">36.</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Oxford science publications.</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=684605</subfield><subfield code="z">Click to View</subfield></datafield></record></collection>

Twenty-five years of constructive type theory : proceedings of a congress held in Venice, October 1995 / / edited by Giovanni Sambin and Jan M. Smith.

Similar Items