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.
1998
QA9.A1 T94 1998eb
Formats
| Format | |
|---|---|
| BibTeX | |
| MARCXML | |
| TextMARC | |
| MARC | |
| DublinCore | |
| EndNote | |
| NLM | |
| RefWorks | |
| RIS |
Linked e-resources
Linked Resource
Details
Title
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.
ISBN
9780198501275
0198501277
0198501277
Publication Details
Oxford : Clarendon Press ; New York : Oxford University Press, 1998.
Language
English
Description
vii, 283 p.
Call Number
QA9.A1 T94 1998eb
Dewey Decimal Classification
511.3
Bibliography, etc. Note
Includes bibliographical references.
Access Note
Access limited to authorized users.
Added Author
Series
Oxford logic guides ; 36.
Oxford science publications.
Oxford science publications.
Linked Resources
Record Appears in