Logic Colloquium 2000

Proceedings Of The Annual European Summer Meeting Of The Association For Symbolic Logic, Held In Paris, France July 23-31, 2000 » 

Proceedings Of The Annual European Summer Meeting Of The Association For Symbolic Logic, Held In Paris, France July 23-31, 2000 «