Logic colloquium 2007.
Proceedings of the European summer meeting of the Association for Symbolic Logic
Wroclaw # july 14-19, 2007
Delon, Françoise (Editeur) ; Kohlenbach, Ulrich (Editeur) ; Maddy, Penelope (Editeur) ; Stephan, Frank (Editeur)
Cambridge University Press;Association for Symbolic Logic
2010
xiii; 267 p.
978-0-521-76065-2
00036281
logique mathématique # théorie de la preuve # logique formelle
Ville d'édition : Cambridge ; New York ; Ithaca
Pays d'édition : Grande-Bretagne ; États-Unis
Langue : Anglais
EAN13 : 9780521760652
Collation : 23 cm#rel.
Collection : Lecture notes in logic
Localisation : Colloque 1er étage (WROC)
Nom de la rencontre : European meeting of the Association for Symbolic Logic
Année de la rencontre : 2007
Ville du congrès : Wroclaw
Pays du congrès : Pologne
Type Congrès : Congrès
Disponibilité : empruntable
Niveau d'autorisation : Public
N° | Cote | Code barre | Commentaire | |
---|---|---|---|---|
1 | 00036281 | [disponible] |