m
     
Congrès

H 0 Logic colloquium 2007.
Proceedings of the European summer meeting of the Association for Symbolic Logic
Wroclaw # july 14-19, 2007

Delon, Francoise (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

03-06 ; 03Fxx ; 00B25

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


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00036281 [disponible]
Z