Accueil
Vous pouvez faire des propositions d'achat de livres, en utilisant
le formulaire en ligneVous pouvez vérifier au préalable si le document n'est pas disponible dans notre catalogue.
vous cherchez un livre à la bibliothèque centrale?
Auteur Logic colloquium (1997; Leeds, GB) (1997)
|
|
Documents disponibles écrits par cet auteur (1)
Faire une suggestion Affiner la recherche
Titre : Sets and proofs : invited papers from Logic colloquium '97 - European meeting of the Association for symbolic logic, Leeds, July 1997 Type de document : texte imprimé Auteurs : Logic colloquium (1997; Leeds, GB), Auteur ; S. Barry Cooper, Éditeur scientifique ; John K. Truss, Éditeur scientifique Editeur : Cambridge Année de publication : 1999 Collection : london mathematical society Importance : IX-436 p. Format : 25 cm. ISBN/ISSN/EAN : 978-0-521-63549-3 Note générale : Bibliogr. en fin de d'article. Langues : Français (fre) Catégories : GÉNÉRALITÉS:Proceedings-Congrès-Conférences-Colloques Mots-clés : proofs-invited-informed-breadth-timeliness- Index. décimale : 00-08 Proceedings-Congrès-Conférences-colloques Sets and proofs : invited papers from Logic colloquium '97 - European meeting of the Association for symbolic logic, Leeds, July 1997 [texte imprimé] / Logic colloquium (1997; Leeds, GB), Auteur ; S. Barry Cooper, Éditeur scientifique ; John K. Truss, Éditeur scientifique . - Cambridge, 1999 . - IX-436 p. ; 25 cm.. - (london mathematical society) .
ISBN : 978-0-521-63549-3
Bibliogr. en fin de d'article.
Langues : Français (fre)
Catégories : GÉNÉRALITÉS:Proceedings-Congrès-Conférences-Colloques Mots-clés : proofs-invited-informed-breadth-timeliness- Index. décimale : 00-08 Proceedings-Congrès-Conférences-colloques Exemplaires(1)
Code-barres type de document numéro d'inventaire Cote Support Localisation Section Disponibilité 00001000535490 00-08-630 Livre Salle 1 Documentaires Exclu du prêt 100481

