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

Niveau d'autorisation : Public

Exemplaires