En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK
0

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

Sélection Signaler une erreur
Congrès

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

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

Niveau d'autorisation : Public


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00036281

[disponible]
Sélection Signaler une erreur