m

F Nous contacter

0
     
Congrès

H 0 Twenty-five years of constructive type theory
Proceedings of a congress
oct.19-21

Sambin, Giovanni (Editeur) ; Smith, Jan M. (Editeur)

Clarendon Press

1998

978-0-19-850127-5

00022504

03-06 ; 03B15 ; 03F50 ; 03F60 ; 03F65

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

Ville d'édition : Oxford

Pays d'édition : Grande-Bretagne

Langue : Anglais

EAN13 : 9780198501275

ISBN : 0-19-850127-7

Collation : 283 p. 24 cm rel. ; Bibliogr. ; Index

Collection : Oxford logic guides

N° de collection : 0036

Localisation : Colloque 1er étage (VENI)

Année de la rencontre : 1995

Ville du congrès : Venice

Pays du congrès : Italie

Type Congrès : Congrès

Disponibilité : empruntable


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 C/VENI/1995 00022504 [disponible]
Z