Logique math'ematique, volume 2 (1993)

by R Cori, D Lascar