K-théorie algébrique # MV algèbre # informatique théorique # logique des prédicats # logique mathématique # mathématique discrète # épistémologie

Ville d'édition : Providence

Pays d'édition : États-Unis

Langue : Anglais

EAN13 : 9780821813645

ISBN : 0-8218-1364-1

Collation : 25 cm#broch. ; Bibliogr.

Collection : Contemporary mathematics

N° de collection : 0235

Localisation : Collection 1er étage

Nom de la rencontre : 7th brazilian conference on mathematical logic

Numéro de congrès : 7

Année de la rencontre : 1996

Ville du congrès : Bahia

Pays du congrès : Brésil

Type Congrès : Congrès

Disponibilité : empruntable

Niveau d'autorisation : Public

Exemplaires