Français
Logic colloquium 2007.
Proceedings of the European summer meeting of the Association for Symbolic Logic
Wroclaw # july 14-19, 2007
Delon, Françoise (Editor) ; Kohlenbach, Ulrich (Editor) ; Maddy, Penelope (Editor) ; Stephan, Frank (Editor)
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
Publisher City : Cambridge ; New York ; Ithaca
Publisher country : Grande-Bretagne ; États-Unis
Language : English
EAN13 : 9780521760652
Collation : 23 cm#rel.
Series : Lecture notes in logic
Location : Colloque 1er étage (WROC)
Event Title : European meeting of the Association for Symbolic Logic
Event Year : 2007
City of congres : Wroclaw
Country of congres : Pologne
Conference type : Congrès
Availability : empruntable
Level of authorization : Public
Copies
Number of copies : 1| No. | Call n° | Bar code | Commentary | |
|---|---|---|---|---|
| 1 | 00036281 | [available] |
