Department of Pure Mathematics, University of Leeds
Woodhouse Lane, Leeds LS2 9JT, England
Email pschust (a) maths.leeds.ac.uk
Phone +44-(0)113-3439013, Fax +44-(0)113-3435090
Research Group Mathematical Logic School Page Munich Page
Office Room 8.17e, Level 8,
School of Mathematics
Next Hours Thu 26 Jan 2012, 4-5 pm and Fri 17 Feb, 10-12 am
L. Crosilla, P. Schuster (eds.),
From Sets and Types to Topology and Analysis.