Français
Twenty-five years of constructive type theory
Proceedings of a congress
oct.19-21
Congrès
analyse constructive # analyse récursive # fondement # logique d'ordre supérieur # mathématique constructive # structure logique # système constructif # théorie de la preuve # théorie des types de logique
Publisher City : Oxford
Publisher country : Grande-Bretagne
Language : English
EAN13 : 9780198501275
ISBN : 0-19-850127-7
Collation : 283 p. 24 cm rel. ; Bibliogr. ; Index
Series : Oxford logic guides
Nb in series : 0036
Location : Colloque 1er étage (VENI)
Event Year : 1995
City of congres : Venice
Country of congres : Italie
Conference type : Congrès
Availability : empruntable
Level of authorization : Public
Copies
Number of copies : 1| No. | Call n° | Bar code | Commentary | |
|---|---|---|---|---|
| 1 | C/VENI/1995 | 00022504 | [available] |
