Mathematical logic and theoretical computer science :
papers presented during the XVI special year of the department of mathematics of the university of Maryland
Kueker, David W. (Editeur) ; Lopez-Escobar, Edgar G. K. (Editeur) ; Smith, Carl H. (Editeur)
1987
383 p.
978-0-8247-7746-3
00011143
algèbre de l'informatique # logique mathématiques # logique symbolique
Ville d'édition : Basel ; N.Y.
Langue : Anglais
EAN13 : 9780824777463
ISBN : 0-8247-7746-8
Collation : 25 cm#broch. ; Bibliogr. ; Index
Collection : Lecture notes in pure and applied mathematics
N° de collection : 0106
Localisation : Colloque 1er étage (COLL)
Année de la rencontre : 1985
Ville du congrès : College Park
Pays du congrès : États-Unis
Type Congrès : Congrès
Disponibilité : empruntable
N° | Cote | Code barre | Commentaire | |
---|---|---|---|---|
1 | C/MARY/ | 00011143 | [disponible] |