Return to Article Details Overview of Results Presented in "Trends in Logic XIII" Download Download PDF