Advances in contemporary logic and computer science :
proceedings of the 7th brazilian conference on mathematical logic#May 6-10
K-théorie algébrique # MV algèbre # informatique théorique # logique des prédicats # logique mathématique # mathématique discrète # épistémologie
Publisher City : Providence
Publisher country : États-Unis
Language : English
EAN13 : 9780821813645
ISBN : 0-8218-1364-1
Collation : 25 cm#broch. ; Bibliogr.
Series : Contemporary mathematics
Nb in series : 0235
Location : Collection 1er étage
Event Title : 7th brazilian conference on mathematical logic
Event Number : 7
Event Year : 1996
City of congres : Bahia
Country of congres : Brésil
Conference type : Congrès
Availability : empruntable
Level of authorization : Public
No. | Call n° | Bar code | Commentary | |
---|---|---|---|---|
1 | 00022995 | [available] |