Title: Séminaire de complexité algorithmique et de logique 1986-1987-1988
Subjects: Symbolic and mathematical Logic, Algorithms