Länkstig Hem Om universitetet Hitta person Jan Smith Jan Smith Professor Logik och typer (LT) E-post jan.smith@chalmers.se Besöksadress Rännvägen 6B 41258 Göteborg Postadress 41296 Göteborg